Showing 1 - 3 results of 3 for search 'International Haifa Verification Conference Haifa, Israel', query time: 0.03s
Refine Results
-
1
Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers
Berlin : Springer, 2007“…International Haifa Verification Conference Haifa, Israel…”
Call Number: Loading…
Located: Loading…Format: Electronic Conference Proceeding eBook Loading… -
2
Hardware and software, verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
Berlin : Springer, 2006“…International Haifa Verification Conference Haifa, Israel…”
Call Number: Loading…
Located: Loading…Format: Electronic Conference Proceeding eBook Loading… -
3
Hardware and software: verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
Berlin ; New York : Springer, 2008“…International Haifa Verification Conference Haifa, Israel…”
Call Number: Loading…
Located: Loading…Format: Electronic Conference Proceeding eBook Loading…
Search Tools:
Related Subjects
Architecture logicielle
Computer input-output equipment
Computer programs
Computer software
Logiciels
Software architecture
Verification
Vérification
Équipement d'entrée-sortie
Ordinateurs
Architecture logicielle - Congrès
Computer systems
Hardwareverifikation
Integrated circuits
Korrektheit
Logiciels - Vérification - Congrès
Model Checking
Ordinateurs - Équipement d'entrée-sortie - Congrès
Programmverifikation
Software
Softwaretest
Testen