DocumentCode
1603025
Title
FVSBS 2015 Track Report: Formal Verification of Service Based Systems
Author
Graiet, Mohamed ; Klai, Kais
fYear
2015
Firstpage
182
Lastpage
182
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2015 IEEE 24th International Conference on
Conference_Location
Larnaca, Cyprus
Type
conf
DOI
10.1109/WETICE.2015.67
Filename
7194355
Link To Document