ECL: a specification environment for system-level design
暂无分享,去创建一个
[1] Stephen A. Edwards,et al. Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.
[2] Stan Y. Liao,et al. An efficient implementation of reactivity for modeling hardware in the scenic design environment , 1997, DAC.
[3] E.A. Lee,et al. Synchronous data flow , 1987, Proceedings of the IEEE.
[4] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
[5] Gérard Berry,et al. The foundations of Esterel , 2000, Proof, Language, and Interaction.
[6] Gérard Berry,et al. The constructive semantics of pure esterel , 1996 .
[7] Luciano Lavagno,et al. Hardware-Software Co-Design of Embedded Systems , 1997 .
[8] Nicolas Halbwachs,et al. Synchronous Programming of Reactive Systems , 1992, CAV.