A quality requirements model and verification approach for system of systems based on description logic
- ISSN号:1001-506X
- 期刊名称:《系统工程与电子技术》
- 时间:0
- 分类:E917[军事] TP391.9[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
- 作者机构:[1]College of Command Information Systems, PLA University of Science and Technology, Nanjing 210007, China, [2]Information Management Center, PLA University of Science and Technology, Nanjing 210007, China
- 相关基金:Project supported by the National Natural Science Foundation of China(No.61273210)