Search

Your search keyword '"DO-178C"' showing total 11 results

Search Constraints

Start Over You searched for: Descriptor "DO-178C" Remove constraint Descriptor: "DO-178C" Publication Type eBooks Remove constraint Publication Type: eBooks
11 results on '"DO-178C"'

Search Results

1. Towards Continuous Certification of Software Systems for Aerospace

2. Research on Software Test Coverage Analysis Methods Under DO-178C

4. Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process

5. A Framework for Assessing Safety Argumentation Confidence

7. Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don’t Trust Your Compiler

8. Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph

9. Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts

10. OOT, DO-178C and SPARK

11. Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems

Catalog

Books, media, physical & digital resources