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
Language: English
Published: New York : Springer, [2013]
Subjects:
ISBN: 9781461413585
Physical Description: xxi, 247 stran : ilustrace ; 24 cm

Cover

Table of contents

Status Description Location Call Number
Status
30 days - deposit  Place a Hold
Description

Location
Depository Call Number 004/CHEN,M.

Status Description Location Call Number
30 days - deposit  Place a Hold Depository 004/CHEN,M.