共 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] Activity and Information Infrastructure for Risk-Based Process Design 10TH INTERNATIONAL SYMPOSIUM ON PROCESS SYSTEMS ENGINEERING, 2009, 27 : 1023 - 1028
- [45] Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 211 - 213
- [48] RBOSTP: Risk-based optimization of software testing process Part 1 WSEAS Transactions on Information Science and Applications, 2005, 2 (06): : 695 - 708