首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
模型检测,综合模块化航空电子系统,系统分析,安全性
】搜索到相关结果
1
条
按文献类别分组
期刊
(44)
学位论文
(12)
会议论文
(7)
报纸
(2)
图书
(1)
按栏目分组
期刊
(44)
学位论文
(12)
会议论文
(7)
报纸
(2)
图书
(1)
按年份分组
2023
(4)
2022
(6)
2021
(7)
2020
(13)
2019
(7)
2018
(16)
2017
(4)
2016
(8)
2001
(1)
按来源分组
航空科学技术
(4)
第九届中国航空学会青年科技论坛
(3)
航空工程进展
(2)
民航学报
(2)
现代诊断与治疗
(2)
通讯世界
(2)
无线互联科技
(2)
计算机测量与控制
(2)
机械设计
(2)
计算机技术与发展
(2)
航空电子技术
(2)
航空发动机
(1)
计算机仿真
(1)
科技风
(1)
航空兵器
(1)
2018年军工装备技术交流会
(1)
工程与试验
(1)
计算机与数字工程
(1)
科技视界
(1)
科技创新导报
(1)
电子测试
(1)
大型飞机关键技术高层论坛暨中国航空学会2007年学术年会
(1)
电子学报
(1)
2019航空装备服务保障与维修技术论坛暨中国航空工业技术装备工程协会年会
(1)
西北工业大学
(1)
西北大学
(1)
西安：西北工业大学出版社
(1)
北京航空航天大学
(1)
西北大学学报(自然科学版)
(1)
电光与控制
(1)
关键词
一种航空电子系统体系结构错误行为验证方法
作者：
丁明
张书玲
张琛
来源：
西北大学学报(自然科学版)
年份：
2019
文献类型 ：
期刊
关键词：
错误模型
模型检测
体系结构
航空电子系统
描述：
针对航空电子系统体系结构
安全性
评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和
安全性
目标,建立体系结构模型;然后,采用
<
1
>
Rss订阅
订阅地址：
