![](/img/cover-not-exists.png)
[IEEE 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2016.6.13-2016.6.15)] 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Track Report for Formal Verification of Service Based Systems: FVSBS 2016
Graiet, Mohamed, Klai, KaisYear:
2016
Language:
english
DOI:
10.1109/wetice.2016.49
File:
PDF, 91 KB
english, 2016