Majdi Ghannoudi

According to our database, Majdi Ghannoudi authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Formal verification for Web service composition: A model-checking approach.

Majdi Ghannoudi, Walid Chainbi

Proceedings of the International Symposium on Networks, Computers and Communications, 2015