首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
模型检测,E,RSML,Nu,SMV,形式化方法
】搜索到相关结果
2
条
按文献类别分组
期刊
(17)
学位论文
(8)
会议论文
(2)
按栏目分组
期刊
(17)
学位论文
(8)
会议论文
(2)
按年份分组
2024
(1)
2023
(4)
2022
(2)
2020
(2)
2019
(4)
2018
(4)
2017
(2)
2016
(8)
按来源分组
计算机技术与发展
(4)
Revue des Composites et des Matériaux Avancés-Journal of Composite and Advanced Materials
(2)
燃气涡轮试验与研究
(2)
北京航空航天大学
(2)
北京交通大学
(2)
人力资源管理
(2)
国立中央大学
(2)
华东师范大学
(2)
航空电子技术
(2)
西北大学学报(自然科学版)
(2)
电光与控制
(2)
2011 2ND International Conference on Innovative Computing and Communication and 2011 Asia-Pacific Conference on Information Technology and Ocean Engineering(CICC-ITOE 2011)
(2)
材料研究与应用
(1)
关键词
综合模块化航空电子系统安全分析的
模型检测
方法
作者:
邝安玄
马超
王佳明
来源:
电光与控制
年份:
2023
文献类型 :
期刊
关键词:
模型检测
综合模块化航空电子系统
系统分析
安全性
描述:
分析方法主要依赖于工程经验和个人技能,存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题,提出了一种新的综合模块化航空电子系统安全分析方法——
模型检测
,使用遍历算法搜索所有系统状态。这种分析过程
综合模块化航空电子系统安全分析的
模型检测
方法
作者:
邝安玄
马超
王佳明
来源:
电光与控制
年份:
2023
文献类型 :
期刊
关键词:
模型检测
综合模块化航空电子系统
系统分析
安全性
描述:
分析方法主要依赖于工程经验和个人技能,存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题,提出了一种新的综合模块化航空电子系统安全分析方法——
模型检测
,使用遍历算法搜索所有系统状态。这种分析过程
<
1
>
Rss订阅
订阅地址: