Computer Safety, Reliability, and Security  33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /  [electronic resource] : 
edited by Andrea Bondavalli, Felicita Di Giandomenico. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (XXIV, 356 p. 131 ill.) 
 - Lecture Notes in Computer Science,  8666  0302-9743 ; .
<br/><br/>Verification &Validation Techniques -- Automotive Systems -- Coverage Models and Mitigation Techniques -- Assurance cases and arguments -- System Analysis -- Security and Trust -- Notations/Languages for Safety-related aspects -- Safety and Security. 
<br/><br/><label>ISBN: </label>9783319105062 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer organization.<br/>Software engineering.<br/>Computer security.<br/>Computer logic.<br/>Application software.