UML活动图的模型检验方法UML活动图的模型检验方法

• 作者: 李波 王聪 韦有平 黄相鹏
• 来源期刊: 电子工程
• 学科: 工学
• 关键词: UML活动图 形式语义 模型检验 Büchi自动机
• 年，卷（期）: 2006,（1）
• 页码范围: 47-50
• 页数: 4页
• 分类号: TP311
• 语种: 中文

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王聪	解放军理工大学通信工程学院	29	278	10.0	16.0
2	黄相鹏		1	0	0.0	0.0