TY  - BOOK
AU  - Mendoza Cervantes, Francisco
TI  - A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
KW  - Modeling and Simulation||System Level Design||Virtual Prototyping
UR  - https://www.ksp.kit.edu/9783731501695
ER  -