Tallenna
System-Level Validation
Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions.
- Alaotsikko
- High-Level Modeling and Directed Test Generation Techniques
- Kirjailija
- Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
- Painos
- 2013
- ISBN
- 9781461413585
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 19.9.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 250
