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

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	International Symposium on NASA Formal Methods ( Houston, EUA)
Andre forfattere:	Badger, Julia M. (edición) (edición), Rozier, Kristin Yvonne (edición) (edición)
Format:	Procedimiento de la conferencia Bog
Sprog:	engelsk
Udgivet:	Cham, Suiza : Springer, 2014, c2014
Serier:	(Lecture Notes in Computer Science ; 8430)
Fag:	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
Online adgang:	Ver documento en línea
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!