Computer Aided Systems Theory - EUROCAST '97 [E-Book] : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Sp...  

Moreno-Diaz, Roberto
1997

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