Sara Zatout

According to our database, Sara Zatout authored at least 2 papers between 2018 and 2020.

Collaborative distances:

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

2020

A model-driven approach for the verification of an adaptive service composition.

Sara Zatout, Mahmoud Boufaïda, Maya Souilah Benabdelhafid, Mohamed Lamine Berkane

Int. J. Web Eng. Technol., 2020

2018

Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration.

Sara Zatout, Maya Souilah Benabdelhafid, Mahmoud Boufaïda

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018