Model-based development and verification supplement to DO-178C and DO-278A
2011
V, 125 S.
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report
English
Formal methods supplement to DO-178C and DO-278A
TIBKAT | 2011
|Supporting information for DO-178C and DO-278A
TIBKAT | 2011
|