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