Auflistung nach Autor "Wittke, Hartmut"
Anzeige der Dokumente 1-1 von 1
-
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung
Damm, Werner; Schulte, Christoph; Wittke, Hartmut; Segelken, Marc; Higgen, Uwe; Eckrich, Michael
340-344