Auflistung nach Autor "Segelken, Marc"
Anzeige der Dokumente 1-2 von 2
-
Anforderungen auf Konsistenz überprüft - Formalisierung hilft
Segelken, Marc
47-48 -
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