Electronics Optics & Control, Volume. 30, Issue 3, 112(2023)
A Model Checking Method for Safety Analysis of Integrated Modular Avionics System
Figures & Tables(0)
Tools
Get Citation
Copy Citation Text
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
Paper Information
Category:
Received: Jan. 28, 2022
Accepted: --
Published Online: Apr. 3, 2023
The Author Email:
© Copyright 2018-2021 | Chinese Laser Press.
All Rights Reserved 沪ICP备15018463号-20