Description |
1 online resource (xxvii, 660 pages) : illustrations. |
Series |
Computational analysis, synthesis, and design of dynamic systems |
|
Computational analysis, synthesis, and design of dynamic models series.
|
Bibliography |
Includes bibliographical references and index. |
Contents |
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. |
Summary |
Model-Based Testing for Embedded Systems. |
Subject |
Embedded computer systems -- Testing.
|
|
Embedded computer systems -- Testing |
Added Author |
Zander, Justyna.
|
|
Schieferdecker, Ina.
|
|
Mosterman, Pieter J.
|
Other Form: |
Print version: 9781439818459 1439818452 (DLC) 2011010401 |
ISBN |
1439818479 (electronic bk.) |
|
9781439818473 (electronic bk.) |
|
1280121718 |
|
9781280121715 |
|
(hardcover ; alk. paper) |
|
(hardcover ; alk. paper) |
|