2012-2473 Certification of Safety-Critical Software Under DO-178C and DO-278A
Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA
01.01.2012
13 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Supporting information for DO-178C and DO-278A
TIBKAT | 2011
|Formal methods supplement to DO-178C and DO-278A
TIBKAT | 2011
|