![](/img/cover-not-exists.png)
[IEEE 2013 IEEE International Conference on Web Services (ICWS) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE 20th International Conference on Web Services - Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior
Graiet, Mohamed, Abbassi, Imed, Hamel, Lazhar, Bhiri, Mohamed Tahar, Kmimech, Mourad, Gaaloul, WalidYear:
2013
Language:
english
DOI:
10.1109/ICWS.2013.42
File:
PDF, 396 KB
english, 2013