AdaCore's Coding Standard Verification Tool Eases DO-178B Compliance
2008-05-16
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
178b 31.08.2011 - Aufbietungen gem. § 13 Abs. 4
Online Contents | 2011
Software and services solution to DO-178B avionics market
Emerald Group Publishing | 2009
Automating Test Case Generation for Coverages Required by FAA Standard DO-178B
British Library Conference Proceedings | 1993
|Verification and validation of a safety-critical steer-by-wire system using DO-178B
Kraftfahrwesen | 2006
|