Search alternatives:
"embedded system" » "embedded systems"

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... for programming embedded systems -- Proof-based system engineering and embedded systems -- A design notation...

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Design -- Embedded System Design -- Functional and Performance Modeling of Concurrency in VCC -- Modeling...

4
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object...