System-Level Validation - High-Level Modeling and Directed Test Generation Techniques
- Författare
- Mingsong. Chen
- (Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer New York, Imprint: Springer | 2013 | USA, New York, NY | XXI, 247 sidor. 103 illus., 6 illus. in color. digital. | 978-1-4614-1359-2 |