基于模型检测的UML状态图和顺序图一致性检测

杜杰, 江国华

Consistency Check Between UML State Chart and Sequence Chart Based on Model Checking

DU Jie, JIANG Guo-Hua

. 2012, (2): 100 .