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
1. Verfasser:	Barner, Sharon (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture Notes in Computer Science 6504
Schlagworte:	Hardwareverifikation Testen Model Checking Softwaretest Spezifikationstechnik Programmverifikation Debugging Konferenzschrift > 2010 > Haifa
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers von Barner, Sharon

Veröffentlicht 2011

Volltext

Elektronisch Tagungsbericht E-Book