基于AADL的综合航电系统资源配置安全性分析与验证

【作者】 孙健；

【导师】 徐敏；

【作者基本信息】 南京航空航天大学 ， 软件工程， 2016， 硕士