NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /

Obra que presenta las actas arbitradas del sexto Simposio Internacional sobre Métodos Formales de la NASA, celebrado en Houston, EUA, del 29 de abril al 1 de mayo de 2014. Los artículos dan cuenta de los avances en la investigación relacionada con los métodos formales que se utilizan en la ingenierí...

Повний опис

Бібліографічні деталі

Співавтор:	International Symposium on NASA Formal Methods ( Houston, EUA)
Інші автори:	Badger, Julia M. (edición), Rozier, Kristin Yvonne (edición)
Формат:	Матеріали конференцій Книга
Мова:	Англійська
Опубліковано:	Cham, Suiza : Springer, 2014, c2014
Серія:	(Lecture Notes in Computer Science ; 8430)
Предмети:	Arquitectura de Software - > Prueba y Medición Paquetes (Software) - > Caducidad Paquetes (Software) - > Planeación Paquetes (Software) - > Prueba y Medición Programación (Software) - > Planeación Ingeniería de Software - > Congresos - > Tema Principal Modelos Matemáticos - > Tema Principal Desarrollo de Sistemas - > Tema Principal Sistemas Computacionales Ingeniería Computacional Ingeniería Aeroespacial
Онлайн доступ:	Ver documento en línea
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!