Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communication and concurrency
An approach to multi-paradigm controller synthesis from timing diagram specifications
EURO-DAC '92 Proceedings of the conference on European design automation
Introducing structure into behavioural descriptions obtained from timing diagram specifications
EUROMICRO 93 Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications: hardware, software and applications
Algorithms for Synthesis and Testing of Asynchronous Circuits
Algorithms for Synthesis and Testing of Asynchronous Circuits
Introduction to VLSI Systems
TIC: A Timed Calculus for LOTOS
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Failures: their definition, modelling and analysis
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
| Hi-index | 0.00 |