Hardware and software: verification and testing 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Haifa Verification Conference (BerichterstatterIn)
Weitere Verfasser:	Namjoshi, Kedar S. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Heidelberg u.a. Springer 2011
Schriftenreihe:	Lecture notes in computer science 6405
Schlagworte:	Computer programs > Verification > Software architecture > Computer input-output equipment > Computer software > Konferenzschrift > Hardwareverifikation > Programmverifikation > Software > Testen > Model Checking
Online Zugang:	Inhaltstext Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!