A formal modeling approach for forward design process of civil aircraft systems based on ESOE-FBS

Qiucen Fan, Yanlong Han, Wenhao Bi, An Zhang 0002. A formal modeling approach for forward design process of civil aircraft systems based on ESOE-FBS. AI in Engineering, 72:104525, 2026. [doi]

Abstract

Abstract is missing.