哈尔滨工程大学学报2008，Vol.29Issue(3)：272-277,6.
基于时间自动机网的C3I系统建模和实时性验证
Modeling of a C3I system and its real time performance and verification based on timed automata network
梁冰 1刘群1
作者信息
- 1. 哈尔滨工程大学,计算机科学与技术学院,黑龙江,哈尔滨,150001
- 折叠
摘要
关键词
C3I系统/时间自动机网/模型检测/实时性验证分类
信息技术与安全科学引用本文复制引用
梁冰,刘群..基于时间自动机网的C3I系统建模和实时性验证[J].哈尔滨工程大学学报,2008,29(3):272-277,6.
