| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| System-Level Validation: High-Level Modeling and Directed Test Generation Techniques | Hardcover | 978-1-4614-1358-5 (1-4614-1358-3) | 2012 | Mingsong Chen · Heon-Mo Koo · Prabhat Mishra |
| System-Level Validation: High-Level Modeling and Directed Test Generation Techniques | Paperback | 978-1-4614-1360-8 (1-4614-1360-5) | 2012 | Mingsong Chen · Heon-Mo Koo |