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
N1  - Includes bibliographical references and index
UR  - http://marc.crcnetbase.com/isbn/9781439818473
ER  -