Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. PauWare software and users’ guide,
http://www.PauWare.com/PauWare_software
2. Object Management Group: Unified Modeling Language: Superstructure, version 2.1.1, formal/2007-02-03 (February 2007)
3. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)
4. Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293–333 (1996)
5. Harel, D., Gery, E.: Executable Object Modeling with Statecharts. IEEE Computer 30(7), 31–42 (1997)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献