基于模型的系统需求确认与验证技术研究
张辉辉, 孙军帅, 王秀鑫, 雷培, 刘鹏飞
Research on Model-Based System Requirements Validation and Verification Technology
Huihui ZHANG, Junshuai SUN, Xiuxin WANG, Pei LEI, Pengfei LIU
现代防御技术 . 2023, (1): 124 -134 .  DOI: 10.3969/j.issn.1009-086x.2023.01.015