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

Deskribapen osoa

Xehetasun bibliografikoak

Erakunde egilea:	International Symposium on Model-Based Safety and Assessment ( Munich, Alemania)
Beste egile batzuk:	Ortmeier, Frank (edición) (edición), Rauzy, Antoine (edición) (edición)
Formatua:	Konferentzia-aktak Liburua
Hizkuntza:	ingelesa
Argitaratua:	Cham, Suiza : Springer, 2014, c2014
Saila:	(Lecture Notes in Computer Science ; 8822)
Gaiak:	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
Sarrera elektronikoa:	Ver documento en línea
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!