关键词: 模型检测  时间自动机  精确加速  可加速环  窗口  

2020年第01期 《计算机研究与发展》

关键词: 配电自动化  时间自动机  uppaal  模型验证  模型实现过程  故障隔离  

2020年第03期 《现代电子技术》

关键词: 战术动作识别  模糊逻辑推理  基本动作序列  时间自动机  匹配  

2019年第12期 《火力与指挥控制》

关键词: 工业控制系统  形式化分析  时间自动机  modbus协议  uppaal  

2019年第11期 《信息网络安全》

关键词: 时间自动机  语言包含  模型检测  属性模式  

2019年第12期 《小型微型计算机系统》

关键词: 民用飞机  航空电子系统  平视显示系统  安全性分析  系统理论过程分析  时间自动机  

2019年第12期 《电讯技术》

关键词: 时间自动机  形式化方法  安全  验证  建模  

2017年第07期 《信息安全研究》

关键词: 实时系统  区域分解  时间自动机  状态空间  测试用例  

2015年第09期 《信息技术与网络安全》

关键词: 无线传感网络协议  时间自动机  随机时间自动机  模型检验  基于统计的模型检验  

2013年第01期

关键词: 高速铁路  临时限速服务器  列控中心  无线闭塞中心  时间自动机  实时性  

2018年第02期 《铁道通信信号》

关键词: 时间自动机  二乘二取二  仿真  建模  验证  

2018年第04期 《铁道标准设计》

关键词: 高速铁路  时间自动机  atp  等级转换  安全性  形式化验证  

2019年第07期 《城市轨道交通研究》

关键词: 交通工程  测试序列优化  车路协同系统  时间自动机  

2017年第11期 《中国公路学报》

关键词: 时间自动机  道岔  uppaal  实时系统  

2004年第S2期 《控制工程》

关键词: 时间自动机  线性时序逻辑  多核并行模型检测  符号化状态  

2018年第09期 《计算机系统应用》

关键词: 时延petri网  时间自动机  uppaal  

2005年第06期 《计算机应用研究》

关键词: 模型检验  时间自动机  tctl  

2005年第07期 《计算机应用研究》

关键词: 功能块  基金会现场总线  有限状态自动机  自动机模型  级连  时间自动机  工业现场  分析功能  应用模型  初始化  

2005年第01期 《仪器仪表学报》

关键词: 时间自动机  重置序列  归约  计算复杂性  

2019年第07期 《软件学报》

关键词: 形式化验证  实时性  时间自动机  can  动态优先级  

2018年第06期 《软件学报》