On the Algorithmics of Higraphs
暂无分享,去创建一个
[1] Amir Pnueli,et al. On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.
[2] Amnon Naamad,et al. Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.
[3] Michel Minoux,et al. Graphs and Algorithms , 1984 .
[4] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[5] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[6] David Harel,et al. On visual formalisms , 1988, CACM.
[7] J. Doug Tygar,et al. FORMAL SEMANTICS FOR VISUAL SPECIFICATION OF SECURITY , 1990 .
[8] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[9] H. Gaifman,et al. Symbolic Logic , 1881, Nature.
[10] David Harel,et al. On statecharts with overlapping , 1992, TSEM.
[11] C. Allan Heydon,et al. Processing Visual Specifications of File System Security , 1992 .