Automating Test Case Generation for Coverages Required by FAA Standard DO-178B
9th Conference, Computing in aerospace 9 ; 1993 ; San Diego; CA
1993-01-01
9 pages
In 2 vols
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
AdaCore's Coding Standard Verification Tool Eases DO-178B Compliance
Emerald Group Publishing | 2008
178b 31.08.2011 - Aufbietungen gem. § 13 Abs. 4
Online Contents | 2011
Model-Based Design for DO-178B with Qualified Tools
AIAA | 2009
|