Uml For Real
Design of Embedded Real-Time Systems »

Hardware Design and Petri Nets
The five parts of this guide cover behavioural modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-le... »

Synthesis and Control of Discrete Event Systems
 »

Eda For Ic System Design, Verification, And Testing
 »

Algorithms For Synthesis And Testing Of Asynchronous Circuits
 »

Eda For Ic Implementation, Circuit Design, And Processtechnology
 »

Design Automation Of Real-Life Asynchronous Devices And Systems
 »

Synthesis and Control of Discrete Event Systems
 »