共 50 条
- [31] CERTIFICATION OF AVIONICS SYSTEMS ON THE COMMERCIAL AIRPLANES OF THE 1980S CANADIAN AERONAUTICS AND SPACE JOURNAL, 1980, 26 (02): : 83 - 91
- [32] A Requirements Modelling Language to Facilitate Avionics Software Verification and Certification 2019 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET 2019), 2019, : 1 - 8
- [33] Increasing the Margins - More Freedom in Trajectory Based Operations 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
- [34] Language decompositions, primality, and trajectory-based operations IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2008, 5148 : 17 - 22
- [36] Tradeoffs in high density trajectory-based operations 2007 IEEE/AIAA 26TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2007, : 519 - 530
- [38] Traffic Engineering Operations Certification ITE JOURNAL-INSTITUTE OF TRANSPORTATION ENGINEERS, 1997, 67 (03): : 12 - 12
- [40] Challenges of certification and integration of new hardware into legacy avionics architectures 2019 IEEE/AIAA 38TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2019,