首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
178B,模型检查
】搜索到相关结果
1
条
按文献类别分组
学位论文
(2)
按栏目分组
学位论文
(2)
按年份分组
2022
(1)
2016
(1)
按来源分组
华东师范大学
(1)
南京航空航天大学
(1)
关键词
基于BIP的航空控制系统行为故障建模与形式化验证方法
作者：
唐旭东
来源：
华东师范大学
年份：
2022
文献类型 ：
学位论文
关键词：
故障建模
基于模型的安全分析
模型检查
BIP(行为交互优先级)
形式化方法
描述：
基于BIP的航空控制系统行为故障建模与形式化验证方法
<
1
>
Rss订阅
订阅地址：