飞行模式转换的RSML-e到Lustre模型转换与验证方法
王智艺, 胡军, 徐恒
Transition and Verification Method from RSML-e to Lustre Model for Flight Mode Transition
WANG Zhiyi, HU Jun, XU Heng
计算机科学 . 2025, (12): 48 -59 .  DOI: 10.11896/jsjkx.250600027