• DocumentCode
    123748
  • Title

    Track Report of Validating Software for Critical Systems (VSC 2014)

  • Author

    Calvagna, Andrea ; Tramontana, Emiliano

  • fYear
    2014
  • fDate
    23-25 June 2014
  • Firstpage
    365
  • Lastpage
    365
  • Abstract
    This report provides an introduction to the papers accepted for the VSC track at IEEE WETICE 2014.
  • Keywords
    Cognition; Context; Context modeling; Java; Model checking; Reliability; Security;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    WETICE Conference (WETICE), 2014 IEEE 23rd International
  • Conference_Location
    Parma, Italy
  • Type

    conf

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