|
|||||
|
|
| 安全关键系统中操作系统的安全分析 | |
| 引用本文： | 任晓瑞,陈晓磊.安全关键系统中操作系统的安全分析[J].航空计算技术,2020,50(3):117-121. |
| 作者姓名： | 任晓瑞 陈晓磊 |
| 作者单位： | 航空工业西安航空计算技术研究所,陕西 西安710068,航空工业西安航空计算技术研究所,陕西 西安710068 |
| 基金项目： | 国家自然科学基金项目资助 |
| 摘 要： | |
| 关 键 词： | 操作系统 安全 风险 安全合约 危害 |
Safety Analysis of Operating System in Safety Critical System |
|
| REN Xiao-rui,CHEN Xiao-lei.Safety Analysis of Operating System in Safety Critical System[J].Aeronautical Computer Technique,2020,50(3):117-121. | |
| Authors: | REN Xiao-rui CHEN Xiao-lei |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |