[IEEE 2014 IEEE 23rd International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise (WETICE) - Parma, Italy (2014.6.23-2014.6.25)] 2014 IEEE 23rd International WETICE Conference - Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B
Abbassi, Imed, Kmimech, Mourad, Hadj-Alouane, Nejib Ben, Gaaloul, WalidYear:
2014
Language:
english
DOI:
10.1109/wetice.2014.85
File:
PDF, 206 KB
english, 2014