Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul. Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. In Sumitra Reddy, editor, 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014. pages 313-318, IEEE, 2014. [doi]
Abstract is missing.