Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers

Gespeichert in:

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