中国空间科学技术
Intelligent program synthesis framework and key scientific problems for embedded software
YANGMengfei, GUBin, DUANZhenhua, JINZhi, ZHANNaijun, DONGYunwei, TIANCong, LIGe, DONG Xiaogang , LIXiaofeng
Chinese Space Science and Technology . 0, (): 1 -7 .  DOI: 10.16708/j.cnki.1000-758X.2022.0046