TY -
GEN
AU - Ur, Shmuel
AU - Bin, Eyal
AU - Wolfsthal, Yaron
TI -
Hardware and Software, Verification and Testing
First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
PB - Springer Berlin Heidelberg
SN - 9783540326052
KW - Logic design
KW - Computer Science
KW - Computer software Verification Congresses
KW - Integrated circuits Verification Congresses
KW - Computer programs Verification Congresses
KW - Computer systems Verification Congresses
KW - Computer science
KW - Software engineering
KW - Compilers (Computer programs).
KW - Konferenzschrift 2005 Haifa
KW - Hardwareverifikation
KW - Korrektheit
KW - Programmverifikation
KW - Softwaretest
KW - Multithreading
KW - Debugging
KW - Programmanalyse
KW - System-on-Chip
KW - Model Checking
KW - Benchmark
KW - Software
KW - Testen
PY - 2006
N2 - Lizenzpflichtig
BT - Lecture Notes in Computer Science ; 3875
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
ER -