Login / Signup
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.
Mohamed Graiet
Imed Abbassi
Lazhar Hamel
Mohamed Tahar Bhiri
Mourad Kmimech
Walid Gaaloul
Published in:
ICWS (2013)
Keyphrases
</>
web service composition
transactional properties
composite services
web services