Auflistung nach Autor "Damm, Werner"
Anzeige der Dokumente 1-3 von 3
-
Autonome Systeme - Fähigkeiten und Anforderungen
Damm, Werner; Kalmar, Ralf
400-408 -
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 -
Model Checking
Buschermöhle, Ralf; Brörkens, Mark; Brückner, Ingo; Damm, Werner; Hasselbring, Wilhelm; Josko, Bernhard; Schulte, Christoph; Wolf, Thomas
146-158