TÃtulo : |
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings |
Tipo de documento: |
documento electrónico |
Autores: |
Papadopoulos, Yiannis, ; Aslansefat, Koorosh, ; Katsaros, Panagiotis, ; Bozzano, Marco, |
Mención de edición: |
1 ed. |
Editorial: |
[s.l.] : Springer |
Fecha de publicación: |
2019 |
Número de páginas: |
XI, 380 p. 236 ilustraciones, 101 ilustraciones en color. |
ISBN/ISSN/DL: |
978-3-030-32872-6 |
Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
Idioma : |
Inglés (eng) |
Palabras clave: |
Ciencias de la Computación IngenierÃa de software Computadoras Propósitos especiales Sistemas informáticos Microprogramación Protección de datos Lógica informática y fundamentos de la programación. Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Estructuras de control y microprogramación. Seguridad de datos e información |
Clasificación: |
40.151 |
Resumen: |
Este libro constituye las actas del 6º Simposio Internacional sobre Evaluación y Seguridad Basado en Modelos, IMBSA 2019, celebrado en Salónica, Grecia, en octubre de 2019. Los 24 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados de 46 presentaciones iniciales. Los artÃculos están organizados en secciones temáticas sobre modelos y lenguajes de seguridad; proceso de análisis de confiabilidad; evaluación de la seguridad; evaluación de la seguridad en la industria del automóvil; IA en la evaluación de la seguridad. . |
Nota de contenido: |
Safety Models and Languages -- Dependability Analysis Process -- Safety Assessment -- Safety Assessment in Automotive Industry -- AI in Safety Assessment. . |
Tipo de medio : |
Computadora |
Summary : |
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in Thessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment. . |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings [documento electrónico] / Papadopoulos, Yiannis, ; Aslansefat, Koorosh, ; Katsaros, Panagiotis, ; Bozzano, Marco, . - 1 ed. . - [s.l.] : Springer, 2019 . - XI, 380 p. 236 ilustraciones, 101 ilustraciones en color. ISBN : 978-3-030-32872-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng) |  |