计算机工程2007，Vol.33Issue(22)：6-8,11,4.
基于UPPAAL的数据关联时序有限自动机模型验证
Model Verification of Data Association Temporal Finite Automata Based on UPPAAL
梁冰 1刘群1
作者信息
- 1. 哈尔滨工程大学计算机科学技术学院,哈尔滨,150001
- 折叠
摘要
关键词
数据关联/时序有限自动机/模型检测分类
信息技术与安全科学引用本文复制引用
梁冰,刘群..基于UPPAAL的数据关联时序有限自动机模型验证[J].计算机工程,2007,33(22):6-8,11,4.
