关键词: 邻接矩阵  邻接表  形式化方法  图压缩  

2020年第01期 《计算机工程与科学》

关键词: 设计模式  模式组合  操作优化  形式化方法  等式推理  

2020年第03期 《计算机科学》

关键词: relate  模型驱动  形式化方法  商业模式创新  研究成果  组件模型  入侵检测系统  优质管理  使用场景  预测分析  

2016年第03期 《科研信息化技术与应用》

关键词: 汉语语篇连贯  语篇连贯失误  分段式话语表征理论  汉语小说  形式化方法  

2019年第24期 《海外英语》

关键词: 软件工程  形式化方法  计算机协会  中国科学院  周巢尘  逻辑方法  师范大学  可信  

2019年第04期 《伊犁师范学院学报·社会科学版》

关键词: 形式化方法  形式化模型  形式化分析  四变量模型  

2019年第04期 《航空电子技术》

关键词: 基于模型的系统评估  结构化分析和设计语言  形式化方法  

2019年第04期 《航空电子技术》

关键词: 智能合约  形式化方法  建模  验证  spin模型检测工具  

2016年第12期 《信息安全研究》

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

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

关键词: 机器人控制  美国医疗  医疗机器人  医疗保障  外科手术  手术模拟  形式化方法  蛇形机器人  人机交互  环境感知  

2016年第03期 《机器人产业》

关键词: 形式化方法  程序正确性  循环不变式  界函数  

2014年第05期 《信息技术与网络安全》

关键词: 上海交通大学  形式化方法  工程学院  电子信息  研究员  电气  国家自然科学基金  计算机科学  

2018年第19期 《中国高新科技》

关键词: 文本意义  形式化方法  弗雷格  法国结构主义  文艺理论  符号逻辑  可能世界  英美新批评  艺术形象  语言艺术  

2006年第00期 《英美文学研究论丛》

关键词: 形式化方法  演化算法  目标函数  集合类  

2018年第14期 《数码设计》

关键词: 形式化方法  形式化模型  地理信息系统  应用综述  

2014年第12期 《测绘工程》

关键词: 构件技术  b方法  形式化方法  软件开发  

2008年第02期 《轻工学报》

关键词: b方法  原形验证系统  形式化方法  电梯系统控制器  

2015年第04期 《应用技术学报》

关键词: 形式化方法  z语言  业务基础软件平台  软件工程  装备管理  

2013年第10期 《软件工程》

关键词: 软件工程  软件演化  实时系统  形式化方法  安全性验证  软件测试  安全性测试  

2014年第01期

关键词: 形式化模型  形式化描述  拓扑关系  面目标  形式化方法  广义模型  目标集  gis  空间目标  发现  

2005年第01期 《测绘学报》