![](/img/cover-not-exists.png)
[IEEE 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Larnaca (2015.6.15-2015.6.17)] 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises - FVSBS 2015 Track Report: Formal Verification of Service Based Systems
Graiet, Mohamed, Klai, KaisYear:
2015
Language:
english
DOI:
10.1109/wetice.2015.67
File:
PDF, 150 KB
english, 2015