| DO-333标准形式化方法研究 |
| |
| 引用本文： | 郝继锋,叶宏,任晓瑞.DO-333标准形式化方法研究[J].航空计算技术,2020,50(1):124-129. |
| |
| 作者姓名： | 郝继锋 叶宏 任晓瑞 |
| |
| 作者单位： | 航空工业西安航空计算技术研究所,陕西 西安710068,航空工业西安航空计算技术研究所,陕西 西安710068,航空工业西安航空计算技术研究所,陕西 西安710068 |
| |
| 基金项目： | 国家自然科学基金项目资助 |
| |
| 摘 要： |
|
| 关 键 词： | 安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 DO-333 DO-178C |
Research on Formal Methods of DO-333 Supplement |
| |
| HAO Ji-feng,YE Hong,REN Xiao-rui.Research on Formal Methods of DO-333 Supplement[J].Aeronautical Computer Technique,2020,50(1):124-129. |
| |
| Authors: | HAO Ji-feng YE Hong REN Xiao-rui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
