Siirry suoraan sisältöön
Hardware and Software: Verification and Testing
Tallenna

Hardware and Software: Verification and Testing

The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).
Alaotsikko
5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Painos
2011 ed.
ISBN
9783642192364
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
10.2.2011
Sivumäärä
169