Auflistung nach Autor "Schulte, Christoph"
Anzeige der Dokumente 1-2 von 2
-
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