Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.

Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul

Browse the full WETICE paper archive.