The need for formal compatibility analysis in web service choreography via an e-commerce application

von Benabdelhafid, Maya Souilah
Veröffentlicht in International journal of e-business research (2015)

AI-LMS: Al-Based Long-Term Monitoring System for Patients in Pandemics: COVID-19 Case Study

von Zendaoui, Nada
Veröffentlicht in International Conference on Model and Data Engineering (12. : 2023 : Sousse) Model and data engineering (2024)

Modeling and Verification of Temporal Constraints for Web Service Composition

von Benabdelhafid, Maya Souilah
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)