Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.

Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich

Browse the full GI paper archive.