ISBN 1461413583 books & textbook
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
Chen, Mingsong Qin, Xiaoke Koo, Heon-Mo Mishra, Prabhat
Springer /2012-09-19 Hardcover / 272 Pages
isbn-10: 1461413583 / isbn-13: 9781461413585
