Formal semantics of UML state diagram and automatic verification based on Kripke structure
Zhao, Yefei, Yang, Zong-yuan, Xie, Jinkui
Published in 2009 Canadian Conference on Electrical and Computer Engineering (01.05.2009)
Published in 2009 Canadian Conference on Electrical and Computer Engineering (01.05.2009)
Get full text
Conference Proceeding