1
Languages for Embedded Systems and their Applications [E-Book] : Selected Contributions on Specification, Design, and Verification from FDL’08 /
2
Advances in Computational Algorithms and Data Analysis [E-Book] /
3
High-Level Modeling and Synthesis of Analog Integrated Systems [E-Book] /
4
Robustness and Usability in Modern Design Flows [E-Book] /
5
Real-Time Object Uniform Design Methodology with UML [E-Book] /