![](/img/cover-not-exists.png)
[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 - Track Report of Formal Verification of Service Based Systems (FVSBS 2014)
Graiet, Mohamed, Jaoua, Zied, Klai, KaisYear:
2014
Language:
english
DOI:
10.1109/wetice.2014.94
File:
PDF, 98 KB
english, 2014