ESPRESS : engineering safety-critical embedded systems
1998
[11] Bl
Ill., graph. Darst
Förderkennzeichen BMBF 01IS509A. - Verbund-Nr. 00020311. - Literaturverz.
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Buch
Englisch
Challenges in Validating Safety-Critical Embedded Systems
SAE Technical Papers | 2009
|