共 19 条
- [2] Verifying the Safety of a Flight-Critical System FM 2015: FORMAL METHODS, 2015, 9109 : 308 - 324
- [3] Finding System-Level Failures in Flight-Critical Software Systems 2011 IEEE/AIAA 30TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2011,
- [4] FINDING SYSTEM-LEVEL FAILURES IN FLIGHT-CRITICAL SOFTWARE SYSTEMS 2011 IEEE/AIAA 30TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2011,
- [5] Remote Integration of Time-Critical Aerospace Applications 2016 IEEE AEROSPACE CONFERENCE, 2016,
- [8] Integration and flight testing of a DVE system on the H145 SITUATION AWARENESS IN DEGRADED ENVIRONMENTS 2019, 2019, 11019
- [9] INTEGRATED FLIGHT PROPULSION CONTROL FOR FLIGHT CRITICAL APPLICATIONS - A PROPULSION SYSTEM PERSPECTIVE JOURNAL OF ENGINEERING FOR GAS TURBINES AND POWER-TRANSACTIONS OF THE ASME, 1992, 114 (04): : 755 - 762