首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
模型检测,E,RSML,Nu,SMV,形式化方法
】搜索到相关结果
1
条
按文献类别分组
期刊
(7)
学位论文
(4)
会议论文
(1)
按栏目分组
期刊
(7)
学位论文
(4)
会议论文
(1)
按年份分组
2023
(1)
2022
(1)
2020
(1)
2019
(2)
2018
(2)
2017
(1)
2016
(4)
按来源分组
计算机技术与发展
(2)
燃气涡轮试验与研究
(1)
北京交通大学
(1)
北京航空航天大学
(1)
华东师范大学
(1)
人力资源管理
(1)
国立中央大学
(1)
电光与控制
(1)
西北大学学报(自然科学版)
(1)
航空电子技术
(1)
2011 2ND International Conference on Innovative Computing and Communication and 2011 Asia-Pacific Conference on Information Technology and Ocean Engineering(CICC-ITOE 2011)
(1)
关键词
基于BIP的航空控制系统行为故障建模与形式化验证方法
作者：
唐旭东
来源：
华东师范大学
年份：
2022
文献类型 ：
学位论文
关键词：
故障建模
基于模型的安全分析
模型检查
BIP(行为交互优先级)
形式化方法
描述：
基于BIP的航空控制系统行为故障建模与形式化验证方法
<
1
>
Rss订阅
订阅地址：
