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

Chen, Mingsong. (author.). Qin, Xiaoke. (author.). Koo, Heon-Mo. (author.). Mishra, Prabhat. (author.). SpringerLink (Online service) (Added Author).

E-book

Add to basket Remove from basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

Record details

• ISBN: 9781461413592
• Physical Description: electronic
  electronic resource
  access
  remote
  XXI, 247 p. 103 illus., 6 illus. in color. online resource.
• Publisher: New York, NY : Springer New York : 2013.

Search for related items by subject