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
- ISBN
- 9781489986290
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.9.2014
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 250
