Author:
Wang Zheng,Li Jianwen,Zhao Yongxin,Qi Yanxia,Pu Geguang,He Jifeng,Gu Bin
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Alur, R., Ivancic, F., Kim, J., Lee, I., Sokolsky, O.: Generating embedded software from hierarchical hybrid models. SIGPLAN Not. 38(7), 171–182 (2003)
2. Anderson, A.H., Shaw, G.A.: Executable requirements and specifications. J. VLSI Signal Process. Syst. 15(1/2), 49–61 (1997)
3. Clements, P.C.: A survey of architecture description languages. In: IWSSD 1996: Proceedings of the 8th International Workshop on Software Specification and Design, p. 16. IEEE Computer Society, Washington (1996)
4. Lecture Notes in Computer Science;K. Hammond,2003
5. Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献