Certification of Safety-Critical Software Under DO-178C and DO-278A
Infotech@Aerospace 2012
2012-01-01
Conference paper
Electronic Resource
English
Equivalent Level of Safety , Worst Case Execution Time , Radio Technical Commission for Aeronautics , Software Development , Software Architecture , Communications, Navigation, Surveillance , Airborne Software , Integration Testing , Ground Software Systems , Commercial Off the Shelf (COTS) Software
Supporting information for DO-178C and DO-278A
TIBKAT | 2011
|Formal methods supplement to DO-178C and DO-278A
TIBKAT | 2011
|2012-2473 Certification of Safety-Critical Software Under DO-178C and DO-278A
British Library Conference Proceedings | 2012
|