Yefei Zhao, Zong-yuan Yang, Jinkui Xie. Formal semantics of UML state diagram and automatic verification based on Kripke structure. In Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John s Hotel and Conference Centre, St. John s, Newfoundland, Canada. pages 974-978, IEEE, 2009. [doi]
Abstract is missing.