共 50 条
- [41] ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems PROCEEDINGS OF THE 2023 34TH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, RSP 2023, 2023,
- [42] Verification Scenarios of Onboard Databases under the RTCA DO-178C and the RTCA DO-200B 2017 IEEE/AIAA 36TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2017,
- [43] Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2019), 2019, : 338 - 345
- [45] Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 211 - 213
- [47] The qualification of software development tools from the DO-178B certification perspective CrossTalk, 2006, 4 (19-22):
- [50] Realizing DO-178C's Value by Using New Technology: OOT, MBDV, TQC & FM 2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,