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

Status More Information Location Call Number
Holdings details from Knihovna UTB
Status 30 days - deposit More Information Location Depository Call Number 004/CHEN,M.