System-level validation : high-level modeling and directed test generation techniques

Saved in:
Bibliographic Details
Main Authors Chen, Mingsong (Author), Qin, Xiaoke (Author), Koo, Heon-Mo (Author), Mishra, Prabhat, 1973- (Author)
Format Book
LanguageEnglish
Published New York : Springer, [2013]
Subjects
ISBN9781461413585
Physical Descriptionxxi, 247 stran : ilustrace ; 24 cm

Cover

More Information
Bibliography:Obsahuje bibliografické odkazy a rejstřík
ISBN:9781461413585
Physical Description:xxi, 247 stran : ilustrace ; 24 cm