面向模型检验的UML状态机语义
周颖, 郑国梁, 李宣东
An Operational Semantics for UML State Machines in Model Checking Context
ZHOU Ying, ZHENG Guo-liang, LI Xuan-dong
电子学报 . 2003, (S1): 2091 -2095 .