航空文献资源库

全部图书期刊学位论文会议论文报纸图片视频新闻

首页> 根据【作者:唐旭东】搜索到相关结果 1 条

按文献类别分组

学位论文(1)

按栏目分组

学位论文(1)

按年份分组

2022(1)

按来源分组

华东师范大学(1)

关键词

基于BIP的航空控制系统行为故障建模与形式化验证方法: 作者： 唐旭东 来源： 华东师范大学 年份： 2022 文献类型： 学位论文 关键词： 故障建模基于模型的安全分析模型检查 BIP(行为交互优先级) 形式化方法; 描述： 基于BIP的航空控制系统行为故障建模与形式化验证方法

< 1 >

Rss订阅

订阅地址：