• DocumentCode
    123737
  • Title

    Track Report of Formal Verification of Service Based Systems (FVSBS 2014)

  • Author

    Graiet, Mohamed ; Jaoua, Zied ; Klai, Kais

  • fYear
    2014
  • fDate
    23-25 June 2014
  • Firstpage
    312
  • Lastpage
    312
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    WETICE Conference (WETICE), 2014 IEEE 23rd International
  • Conference_Location
    Parma, Italy
  • Type

    conf

  • DOI
    10.1109/WETICE.2014.94
  • Filename
    6927072
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=123737