V. B. · Valérie Bertagna · Valerie Bridgeman
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair | 978-1-4020-9364-7 (1-4020-9364-0) | 2008 | Kai-hui Chang · Igor L. Markov | |
| Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, ... Notes in Computer Science, Band 8244) | 978-3-319-03076-0 (3-319-03076-0) | 2013 | Axel Legay | |
| Scalable Hardware Verification with Symbolic Simulation | 978-0-387-24411-2 (0-387-24411-5) | 2005 | ||