NASA formal methods 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	USA National Aeronautics and Space Administration (BerichterstatterIn), NFM (BerichterstatterIn)
Weitere Verfasser:	Badger, Julia M. (BerichterstatterIn), Rozier, Kristin Yvonne (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham u.a. Springer 2014
Schriftenreihe:	Lecture notes in computer science 8430
Schlagworte:	Konferenzschrift > Formale Methode > Verifikation > Testen > Automatisches Beweisverfahren > Softwareentwicklung > Systementwicklung
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!