Title :
FVSBS 2015 Track Report: Formal Verification of Service Based Systems
Author :
Graiet, Mohamed ; Klai, Kais
Abstract :
This report gives a brief overview of the main concerns addressed by the authors at the third international track on Formal Verification of Service Based Systems, held at WETICE 2015 conference. A presentation of the main topics is given and then a summary of the paper accepted by this conference track is reported.
Keywords :
Committees; Computer science; Mathematics; Model driven engineering; Service-oriented architecture;
Conference_Titel :
Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2015 IEEE 24th International Conference on
Conference_Location :
Larnaca, Cyprus
DOI :
10.1109/WETICE.2015.67
