Publisher
Springer Science and Business Media LLC
Reference15 articles.
1. D. Harel, “Statecharts: A visual formalism for complex systems,” Sci. Comput. Program., 8, No. 3, 231–274 (1987).
2. D. Harel and A. Naamad, “The STATEMATE semantics of statecharts,” ACM Trans. Software Eng., 5, No. 4, 293–333 (1996).
3. Yi-Sheng Huang, “Design of traffic light control systems using statecharts,” Computer J., 49, No. 6, 634–649 (2006).
4. R. Alur and T. Henzinger, “Reactive modules,” Formal Methods in System Design, 15, No. 1, 7–48 (1999).
5. R. Alur and R. Grosu, “Modular refinement of hierarchic reactive machines,” in: Proc. 27th Ann. ACM Symp. on Principles of Programming Languages, ACM Press, New York (2000), pp. 390–402.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Harmonization of Interacting Automata;Cybernetics and Systems Analysis;2015-09