Software and services solution to DO-178B avionics market
03.07.2009
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Integrating an assurance case into DO-178B compliant software development
IEEE | 2015
|178b 31.08.2011 - Aufbietungen gem. § 13 Abs. 4
Online Contents | 2011
Model-Based Design for DO-178B with Qualified Tools
AIAA | 2009
|AdaCore's Coding Standard Verification Tool Eases DO-178B Compliance
Emerald Group Publishing | 2008