Información del autor
Autor Bozzano, Marco |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings / Bozzano, Marco ; Papadopoulos, Yiannis
TÃtulo : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings Tipo de documento: documento electrónico Autores: Bozzano, Marco, ; Papadopoulos, Yiannis, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 273 p. 109 ilustraciones ISBN/ISSN/DL: 978-3-319-64119-5 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 TeorÃa de las máquinas Algoritmos Computadoras Propósitos especiales Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Sistemas de propósito especial y basados ​​en aplicaciones Clasificación: 40.151 Resumen: Este libro constituye las actas del V Simposio Internacional sobre Evaluación y Seguridad Basado en Modelos, IMBSA 2017, celebrado en Trento, Italia, en septiembre de 2017. Los 17 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados de 29 presentaciones iniciales. Los artÃculos están organizados en secciones temáticas sobre procesos de seguridad; modelos y lenguajes de seguridad; detección y propagación de fallas; evaluación de la seguridad en el ámbito del automóvil; y estudios de casos. Nota de contenido: Safety process -- Safety models and languages -- Fault detection and propagation -- Safety assessment in the automotive domain -- Case studies. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings [documento electrónico] / Bozzano, Marco, ; Papadopoulos, Yiannis, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 273 p. 109 ilustraciones.
ISBN : 978-3-319-64119-5
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 TeorÃa de las máquinas Algoritmos Computadoras Propósitos especiales Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Sistemas de propósito especial y basados ​​en aplicaciones Clasificación: 40.151 Resumen: Este libro constituye las actas del V Simposio Internacional sobre Evaluación y Seguridad Basado en Modelos, IMBSA 2017, celebrado en Trento, Italia, en septiembre de 2017. Los 17 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados de 29 presentaciones iniciales. Los artÃculos están organizados en secciones temáticas sobre procesos de seguridad; modelos y lenguajes de seguridad; detección y propagación de fallas; evaluación de la seguridad en el ámbito del automóvil; y estudios de casos. Nota de contenido: Safety process -- Safety models and languages -- Fault detection and propagation -- Safety assessment in the automotive domain -- Case studies. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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)
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 [...]
TÃtulo : Design And Safety Assessment Of Critical Systems Tipo de documento: documento electrónico Autores: Bozzano, Marco ; Villafiorita, Adolfo Editorial: Taylor & Francis Group Fecha de publicación: 2010 Número de páginas: xvii, 267 p. : Il.: ill. ISBN/ISSN/DL: 978-1-4398-0332-5 Palabras clave: Industrial safety. System safety. Clasificación: 620.8/6 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/163580 Design And Safety Assessment Of Critical Systems [documento electrónico] / Bozzano, Marco ; Villafiorita, Adolfo . - Taylor & Francis Group, 2010 . - xvii, 267 p. : : ill.
ISBN : 978-1-4398-0332-5
Palabras clave: Industrial safety. System safety. Clasificación: 620.8/6 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/163580
