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

ver descrição completa

Detalhes bibliográficos

Autor Corporativo:	International Symposium on NASA Formal Methods ( Houston, EUA)
Outros Autores:	Badger, Julia M. (edición) (edición), Rozier, Kristin Yvonne (edición) (edición)
Formato:	Procedimiento de la conferencia Livro
Idioma:	inglês
Publicado em:	Cham, Suiza : Springer, 2014, c2014
Colecção:	(Lecture Notes in Computer Science ; 8430)
Assuntos:	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
Acesso em linha:	Ver documento en línea
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!