-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=演绎式安全分析 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
形式化模型检验在飞机系统演绎式安全分析中的应用研究
《飞机设计》2014年第1期47-51,共5页马径梁 吴海桥 王华伟 葛红娟 
国家自然科学基金与民航局联合资助项目(60879001);江苏省自然科学基金资助项目(BK2009378);南京航空航天大学基本科研业务费专项科研项目(NS2010179)
随着飞机系统复杂度的日益增长,对飞机设计人员和安全性分析人员能力的提升也提出了相应要求。但是传统的安全性分析方法都存在一些弊端:高度主观并且依赖分析人员的技能和经验,而且不太可能做到完整无错。形式化验证技术,如模型检验方...
关键词：飞机系统 演绎式安全分析 形式化模型检验 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部