This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Syste...
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to...
InhaltsangabeDesign methodologies.- Non-functional aspects of embedded systems.- Verification.- P...
This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Syste...