TY  - BOOK
AU  - Zander,Justyna
AU  - Schieferdecker,Ina
AU  - Mosterman,Pieter J.
TI  - Model-based testing for embedded systems
T2  - Computational analysis, synthesis, and design of dynamic systems ; 13
SN  - 9781439818473 (ebook : PDF)
PY  - 2011///
CY  - Boca Raton, Fla.
PB  - CRC Press
KW  - Embedded computer systems
KW  - Testing
KW  - Electronic books
KW  - lcsh
N1  - Includes bibliographical references and index; part 1. Introduction -- pt. 2. Automatic test generation -- pt. 3. Integration and multilevel testing -- pt. 4. Specific approaches -- pt. 5. Testing in industry -- pt. 6. Testing at the lower levels of development; Also available in print edition
UR  - http://marc.crcnetbase.com/isbn/9781439818473
ER  -