Computer safety, reliability, and security : 33rd international conference, safecomp 2014, florence, italy, september 10-12, 2014. Proceedings / edited by Andrea Bondavalli, Felicita Di Giandomenico.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8666Editor: Cham : Springer International Publishing : Springer, 2014Descripción: xxiv, 356 páginas : 131 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319105062
- QA76.9.L63
Contenidos:
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.
No hay ítems correspondientes a este registro
Springer eBooks
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.
Para consulta fuera de la UANL se requiere clave de acceso remoto.