Houda Boubaker

According to our database, Houda Boubaker authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Modeling and Verification of Temporal Constraints for Web Service Composition.

Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020