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