Title :
Track Report of Validating Software for Critical Systems (VSC 2014)
Author :
Calvagna, Andrea ; Tramontana, Emiliano
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;
Conference_Titel :
WETICE Conference (WETICE), 2014 IEEE 23rd International
Conference_Location :
Parma, Italy
DOI :
10.1109/WETICE.2014.98
