Amal Ayach

According to our database, Amal Ayach authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Towards a Formal Verification Approach for Cloud Software Architecture.

Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017