Languages for Embedded Systems and their Applications [E-Book] : Selected Contributions on Specification, Design, and Verification from FDL’08 /  

Radetzki, Martin.
2009

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [E-Book] : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /  

Ramesh, S.
2007

Platform Based Design at the Electronic System Level [E-Book] : Industry Perspectives and Experiences /  

Burton, Mark.
2006