TY  - BOOK
AU  - Bondavalli,Andrea
AU  - Di Giandomenico,Felicita
TI  - Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings 
SN  - 9783319105062
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computer organization
KW  - Software engineering
KW  - Computer security
KW  - Computer logic
KW  - Application software
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-319-10506-2
ER  -