基于AADL的航天嵌入式软件Ada代码自动生成方法

冯思喆, 杨志斌, 薛垒

Automatic Generation Method of Ada Code for Aerospace Embedded Software Based on AADL

FENG Si-zhe, YANG Zhi-bin, XUE Lei

计算机与现代化 . 2020, (06): 52 .