Synthesis of Embedded Software - 9781441963994

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness...

Pop - Analysis and Synthesis of Distributed Real-Time Embedded Systems - X555z

Ti-Yen Yen - Hardware-Software Co-Synthesis of Distributed Embedded Sy - X555z

Pop - Analysis and Synthesis of Distributed Real-Time Embedded Systems - X555z

Gajski - Embedded System Design Modeling Synthesis and Verification - X555z