Login / Signup
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.
Werner Damm
Christoph Schulte
Hartmut Wittke
Marc Segelken
Uwe Higgen
Michael Eckrich
Published in:
GI Jahrestagung (1) (2003)
Keyphrases
</>