时间自动机网相关硕士博士期刊学术论文 - 搜论网

时间自动机网相关论文

基于时间自动机网的C^3I系统建模和实时性验证

针对目前缺乏描述和分析C^3I系统的理论基础，提出了基于时间自动机理论的C^3I系统的数学模型．建立了C^3I系统中各个子系统的时间自动......

期刊

C^3I系统时间自动机网模型检测实时性验证 C^3I system timed automata network model checking re

看过本文同时还关注