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

Bibliographische Detailangaben

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!