Title :
Track Report of Formal Verification of Service Based Systems (FVSBS 2014)
Author :
Graiet, Mohamed ; Jaoua, Zied ; Klai, Kais
Abstract :
This report gives a brief overview of the main concerns addressed by the authors at the second international track on Formal Verification of Service Based Systems, held at WETICE 2014 conference. A presentation of the main topics is given and then a summary of the paper accepted by this conference track is reported.
Keywords :
Computer science; Conferences; Educational institutions; Quality of service; Service-oriented architecture;
Conference_Titel :
WETICE Conference (WETICE), 2014 IEEE 23rd International
Conference_Location :
Parma, Italy
DOI :
10.1109/WETICE.2014.94
