动态模型驱动的模块化航空炸弹系统验证框架

李文龙, 桑书涵, 刘玉生, 何海燕, 梁赞, 袁文强, 牛彪, 罗伟峰

Dynamic Model-driven Verification Framework for Modular Aerial Bomb Systems

Li Wenlong, Sang Shuhan, Liu Yusheng, He Haiyan, Liang Zan, Yuan Wenqiang, Niu Biao, Luo Weifeng

系统仿真学报 . 2026, (4): 1106 -1118 . DOI: 10.16182/j.issn1004731x.joss.25-0270