【小型微型计算机系统】_时间自动机_期刊发文热词逐年推荐_20140727
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2013年 序号 1 2 3 4
ห้องสมุดไป่ตู้
科研热词 逻辑分析 电子商务协议 有穷自动机 形式化分析
推荐指数 1 1 1 1
2011年 科研热词 有界模型检测 时间自动机 时态认知逻辑 web服务 verics 推荐指数 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8
科研热词 验证 构件系统 时间接口自动机 时间接口 拜占庭错误 复制品 web服务 i/o自动机
推荐指数 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4
科研热词 模型验证 数控总线 形式化分析 rtps机制
推荐指数 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9
2011年 科研热词 推荐指数 序号 软件验证 1 1 模型验证 1 2 模型转换 1 3 模型检验工具 1 4 构件化设计 1 5 时间自动机 1 接口自动机 1 嵌入式软件设计 1 marte(modeling and analysis of1 real time and embeded systems)