1
Ingredients for Successful System Level Design Methodology [E-Book] /
2
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications [E-Book] /
3
Synthesis of Embedded Software [E-Book] : Frameworks and Methodologies for Correctness by Construction /
4
SystemC Kernel Extensions for Heterogeneous System Modeling [E-Book] : A framework for Multi-MoC Modeling & Simulation /