KUANG Anxuan, MA Chao, WANG Jiaming. A Model Checking Method for Safety Analysis of Integrated Modular Avionics System[J]. Electronics Optics & Control, 2023, 30(3): 112
Abstract
Set citation alerts for the article
Please enter your email address