Login / Signup
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.
Imed Abbassi
Mourad Kmimech
Nejib Ben Hadj-Alouane
Walid Gaaloul
Published in:
WETICE (2014)
Keyphrases
</>
qos aware
web services
distributed query processing
service composition
quality of service
data management
fault tolerant
petri net