云南高校图书馆联盟文献共享服务平台- 连航

连航: 作品数：1被引量：11H指数：1; 导出分析报告; 供职机构：北京航空航天大学更多>>; 发文主题：航空电子系统航空电子形式化方法形式化有限状态自动机更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《软件学报》更多>>; 所获基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于形式化方法的航空电子系统检测被引量：11: 《软件学报》2015年第2期181-201,共21页李睿连航马世龙黎涛; 国家自然科学基金(61003016;61300007;61305054);科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007);软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28;SKLSDE-2014ZX-06); 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式...; 关键词：模型检测系统形式化航空电子系统软件配置项有限状态自动机