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...

Полное описание

Библиографические подробности

Соавтор:	International Symposium on Model-Based Safety and Assessment ( Munich, Alemania)
Другие авторы:	Ortmeier, Frank (edición), Rauzy, Antoine (edición)
Формат:	Материалы конференции ‌
Язык:	английский
Опубликовано:	Cham, Suiza : Springer, 2014, c2014
Серии:	(Lecture Notes in Computer Science ; 8822)
Предметы:	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-ссылка:	Ver documento en línea
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!