AdaCore's Coding Standard Verification Tool Eases DO-178B Compliance
16.05.2008
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
178b 31.08.2011 - Aufbietungen gem. § 13 Abs. 4
Online Contents | 2011
Verification and validation of a safety-critical steer-by-wire system using DO-178B
Kraftfahrwesen | 2006
|Model-Based Design for DO-178B with Qualified Tools
AIAA | 2009
|Automating Test Case Generation for Coverages Required by FAA Standard DO-178B
British Library Conference Proceedings | 1993
|