飞行模式转换的RSML<sup>-e</sup>到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