Formal methods supplement to DO-178C and DO-278A
2011
Getr. Zählung [ca. 110 S.]
graph. Darst.
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report
English
Supporting information for DO-178C and DO-278A
TIBKAT | 2011
|Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software
SAE Technical Papers | 2015
|