Buchumschlag
QR-Code

Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : Proceedings /

Selección de ponencias que fueron presentadas en el cuarto Simposio Internacional sobre Evaluación y Seguridad Basado en Modelos, celebrado en Munich, Alemania, en octubre de 2014. Los artículos están organizados en secciones temáticas sobre paradigmas de modelado, validación y pruebas, detección y...

Ausführliche Beschreibung

Gespeichert in:
Körperschaft: International Symposium on Model-Based Safety and Assessment ( Munich, Alemania)
Weitere Verfasser: Ortmeier, Frank (edición) (edición), Rauzy, Antoine (edición) (edición)
Format: Tagungsbericht Buch
Sprache:Englisch
Veröffentlicht: Cham, Suiza : Springer, 2014, c2014
Schriftenreihe:(Lecture Notes in Computer Science ; 8822)
Schlagworte:
Complejidad Computacional
Intérpretes (Software)
Compiladores (Software)
Lenguajes Formales
Lenguajes de Modelado Visual
Lenguajes de Programación
Paquetes (Software) - > Prueba y Medición - > Tema Principal
Ingeniería de Software - > Congresos - > Tema Principal
Programación (Software)
Desarrollo de Sistemas
Sistemas Computacionales - > Prueba y Medición
Sistemas Computacionales
Online-Zugang:Ver documento en línea
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!
Zusammenfassung:Selección de ponencias que fueron presentadas en el cuarto Simposio Internacional sobre Evaluación y Seguridad Basado en Modelos, celebrado en Munich, Alemania, en octubre de 2014. Los artículos están organizados en secciones temáticas sobre paradigmas de modelado, validación y pruebas, detección y manejo de fallas, evaluación de seguridad en el dominio automotriz y estudios de casos.
Beschreibung:1 libro electrónico en línea (X, 209 p.)
1 recurso en línea
ISBN:978-3-319-12214-4
Zugangseinschränkungen:Licencias ilimitadas

Ähnliche Einträge