ECL

This publication has 5 references indexed in Scilit:

• Design of embedded systems: formal models, validation, and synthesis
  Proceedings of the IEEE, 1997
• An efficient implementation of reactivity for modeling hardware in the scenic design environment
  Published by Association for Computing Machinery (ACM) ,1997
• Reactive objects
  Annals of Telecommunications, 1996
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
  IEEE Transactions on Computers, 1987