基于AADL的正式方法在飞机数字系统安全分析中的应用
AADL-Based safety analysis using formal methods applied to aircraft digital systems
Reliability Engineering and System Safety · 2021
被引 44
ABS 3
- Danielle Stewart 通讯
- Jing Liu
- Darren Cofer
- Mats P. E. Heimdahl
- Michael W. Whalen
- Michael R. Peterson
安全工程系统工程航空电子系统形式化方法可靠性工程