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