Computer safety, reliability, and security: 33rd international conference, safecom 2014, florence, italy, september 10-12, 2014. proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319105055
Date de publication :
20 août 2014
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The papers are organized in topical sections on fault injection techniques, verification and 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.