Search alternatives:
"embedded system" » "embedded systems"
Cover Image
Read Now

1
Published 2008
Springer Netherlands
Table of Contents: “... and Temporal Assertions -- Transactor-Based Formal Verification of Real-Time Embedded Systems -- A Case-Study...”
Cover Image
Read Now

2
Published 2011
Springer New York
Table of Contents: “... Modeling of Multi-Processor Embedded Systems for Fast Design Space Exploration -- 3. Optimization...”
Cover Image
Read Now

3
Published 2003
Springer US
Table of Contents: “... Profile for Real-Time System Modelling with Rate Monotonic Analysis -- Support for Embedded Systems in UML...”
Cover Image
Read Now

4
Published 2002
Springer US
Table of Contents: “... -- Real-Time Modeling -- 22. Modeling of real-time embedded systems by using SDL -- 23. A framework...”