南京航空航天大学学报2023，Vol.55Issue(5)：768-779,12.DOI:10.16356/j.1005-2615.2023.05.003
自动飞行模式转换逻辑的形式化建模与验证
Formal Modeling and Verification of Automatic Flight Mode Transition Logic
摘要
关键词
计算机软件与理论/飞行制导控制系统/基于模型的安全性分析/模型检测/安全关键系统Key words
computer software and theory/flight guidance control system/model-based safety analysis/model checking/safety-critical system分类
信息技术与安全科学引用本文复制引用
李俊安,胡军,王立松,黄志球,蔡鑫..自动飞行模式转换逻辑的形式化建模与验证[J].南京航空航天大学学报,2023,55(5):768-779,12.基金项目
国家自然科学基金(U2241216). （U2241216）
