中国空间科学技术
嵌入式软件智能合成框架及关键科学问题
杨孟飞, 顾斌, 段振华, 金芝, 詹乃军, 董云卫, 田聪, 李戈, 董晓刚, 李晓锋
Intelligent program synthesis framework and key scientific problems for embedded software
YANGMengfei, GUBin, DUANZhenhua, JINZhi, ZHANNaijun, DONGYunwei,
中国空间科学技术 . 2022, (4): 1 -7 .  DOI: 10.16708/j.cnki.1000-758X.2022.0046