Spar
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).
- Undertittel
- 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
- Redaktør
- Kedar Namjoshi, Andreas Zeller, Avi Ziv
- Opplag
- 2011 ed.
- ISBN
- 9783642192364
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 10.2.2011
- Antall sider
- 169
