avatar


Profil

Nom: Zatout

Prénom: Sara

Domaines de compétences: Service Oriented Computing, Formal methods and adaptive systems,

Contacts

Publications


Titre Auteurs DOI/URL
A model-driven approach for the verification of an adaptive service composition Zatout Sara
Consulter

Communications


Titre DOI/URL Type
A Policy-Based Dynamic Adaptation System for Service Composition Consulter Conférence
Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration Consulter Conférence
An Architecture Dedicated to Dynamic Adaptation for Services Orchestration Consulter Conférence