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
|High Supercharging Development of a GM16-278A 2-Stroke-Cycle Diesel Engine
SAE Technical Papers | 1955
|