电子学报2004，Vol.31Issue(B12)：2091-2095,5.
面向模型检验的UML状态机语义
周颖 1郑国梁 2李宣东3
作者信息
- 1. 南京大学计算机科学技术系．江苏南京210093
- 2. 南京大学计算机软件新技术国家重点实验窒，江苏南京210093
- 折叠
摘要
关键词
UML/状态机/操作语义/Kripke结构/模型检验分类
信息技术与安全科学引用本文复制引用
周颖,郑国梁,李宣东..面向模型检验的UML状态机语义[J].电子学报,2004,31(B12):2091-2095,5.
