Research on Model-Based System Requirements Validation and Verification Technology
Huihui ZHANG, Junshuai SUN, Xiuxin WANG, Pei LEI, Pengfei LIU
Modern Defense Technology . 2023, (1): 124 -134 .  DOI: 10.3969/j.issn.1009-086x.2023.01.015