X. Than, H. Miao and L. Liu, “Formalizing Semantics of UML Statecharts with Z,” Proceedings of 4th International Conference on Computer & Information Technology, Wuhan, 2004, pp. 1116-1121.
has been cited by the following article:
Related Articles: