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

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

关键词: ucon  形式化规约  安全性分析  模型检测  

2016年第03期 《网络与信息安全学报》

关键词: 桥梁工程  优化设计  bim建模  模型检测  工程量验算  

2018年第04期 《智能建筑与智慧城市》

关键词: 以太坊  智能合约  投票协议  模型检测  

2019年第11期 《软件学报》

关键词: 计算机图形学  模型检测  生命特征  人工生命  虚拟生物  大众用户  生物建模  整体需求  

2019年第20期 《中学生物教学》

关键词: 模糊时态  决策过程  广义可能性测度  计算树逻辑  模型检测  

2019年第10期 《计算机科学与探索》

关键词: 模型检测  计算树逻辑  dna分子  分子计算  

2019年第11期 《计算机科学》

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

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

关键词: 密码协议  形式化分析  定理证明  模型检测  前推  

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

关键词: 时间本体  petri网本体  时间约束petri网  模型检测  

2009年第06期 《工程科学与技术》

关键词: 非确定性系统  广义可能性决策过程  调度  广义可能性计算树逻辑  模型检测  

2016年第11期

关键词: 自动机理论  混成系统  设备控制系统  动态行为  状态空间  模型检测  自动机模型  互模拟  形式化定义  动  

2015年第01期 《中国电子教育》

关键词: 模型检测  认证协议  协议验证  可扩展认证协议  传输层安全  

2013年第01期 《煤炭技术》

关键词: 密码协议  形式化分析  模型检测  运行模式分析法  

2004年第03期 《中国科学院大学学报》

关键词: 可能性理论  计算树逻辑  模型检测  时间复杂性  规约  

2017年第11期 《电子学报》

关键词: 模型检测  计算树逻辑  模糊逻辑  kripke结构  时态逻辑  

2018年第01期 《电子学报》

关键词: 内窥镜图像  特征选择  神经网络  组织学特征  上消化道内镜  组织学检查  参数预测  活检术  模型检测  特异度  

2005年第01期 《世界核心医学期刊文摘·妇产科学分册》

关键词: cidx  区块链  智能合约  模型检测  

2018年第08期 《嘉应学院学报》

关键词: 计算机科学  计算机应用  模型检测  微处理器  管理系统  网格服务  设计原理  消息中间件  计算技术  工作流系统  

2005年第02期 《电子科技文摘》

关键词: 形式化方法  协议验证  模型检测  

2019年第03期 《国防科技大学学报》