软件构件化

作品数：24被引量：90H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈良宽蒋韬秦扬曹敬瑜李耿更多>>
相关机构：北京理工大学东北大学南京理工大学中国海洋大学更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《中国电子商务》《现代电子技术》更多>>
相关基金：国家自然科学基金国家科技重大专项四川省教育厅资助科研项目江苏高校优势学科建设工程资助项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=现代电子技术x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检查的嵌入式软件构件化分析与验证被引量：1
《现代电子技术》2016年第24期63-65,70,共4页聂捷楠 
四川省教育厅项目(14ZB0241)
对嵌入式软件构件化进行准确分析与验证,能够为嵌入式系统安全、稳定的运行提供保障。提出一种基于模型检查的嵌入式软件构件化分析与验证方法。设计一种用于检查软件构件的模型,为嵌入式软件构件化分析与验证提供理论基础;将嵌入式软...
关键词：模型检查 嵌入式软件 构件化 SMV 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部