Manel Fathalli

According to our database, Manel Fathalli authored at least 1 paper in 2017.

Collaborative distances:

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

2017

From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation.

Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017