YU Wen-Jing
Key Laboratory of High Confidence Software Technology(Peking University), Ministry of Education, Beijing 100871, China;Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, ChinaZHAO Hai-Yan
Key Laboratory of High Confidence Software Technology(Peking University), Ministry of Education, Beijing 100871, China;Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, ChinaZHANG Wei
Key Laboratory of High Confidence Software Technology(Peking University), Ministry of Education, Beijing 100871, China;Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, ChinaJIN Zhi
Key Laboratory of High Confidence Software Technology(Peking University), Ministry of Education, Beijing 100871, China;Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, ChinaNational Program on Key Basic ResearchProject of China (973) (2015CB352201); National Natural Science Foundation of China (60873059, 61272163); Major Research Project Based on Trusted Software (91318301)
于文静,赵海燕,张伟,金芝.基于特征模型的软件产品自动导出方法综述.软件学报,2016,27(1):26-44
Copy