ZHANG Xuan
School of Software, Yunnan University, Kunming 650091, China;Key Laboratory of Software Engineering of Yunnan, Kunming 650091, ChinaLI Tong
School of Software, Yunnan University, Kunming 650091, China;Key Laboratory of Software Engineering of Yunnan, Kunming 650091, ChinaWANG Xu
School of Economics, Yunnan University, Kunming 650091, ChinaYU Qian
School of Software, Yunnan University, Kunming 650091, China;Key Laboratory of Software Engineering of Yunnan, Kunming 650091, ChinaYU Yong
School of Software, Yunnan University, Kunming 650091, China;Key Laboratory of Software Engineering of Yunnan, Kunming 650091, ChinaZHU Rui
School of Software, Yunnan University, Kunming 650091, China张璇,李彤,王旭,于倩,郁湧,朱锐.可信软件非功能需求形式化表示与可满足分析.软件学报,2015,26(10):2545-2566
Copy