Hardware Description Languages and Their Applications: Specification, modelling, verification synthesis of microelectronic systems

Reactive Systems: Modelling, Specification and Verification

Computer Hardware Description LANGUAGES AND THEIR Applications: Proceedings of the IFIP WG...

Microelectronic Systems: Circuits, Systems and Applications

Real-Time Systems: Formal Specification and Automatic Verification