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