System-Level Validation : High-Level Modeling and Directed Test Generation Techniques /

Bibliographic Details
Main Authors: Chen, Mingsong. (Author), Qin, Xiaoke. (Author), Koo, Heon-Mo. (Author), Mishra, Prabhat. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Subjects:
Description
Physical Description:XXII, 250 p. : online resource.
ISBN:9781461413592