Login / Signup
Michael Eckrich
Publication Activity (10 Years)
Years Active: 1997-2003
Publications (10 Years): 0
</>
Publications
</>
Werner Damm
,
Christoph Schulte
,
Hartmut Wittke
,
Marc Segelken
,
Uwe Higgen
,
Michael Eckrich
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.
GI Jahrestagung (1)
(2003)
Michael Eckrich
,
Maximilian Fuchs
Semiformale Entwurfsmethoden bei BMW.
Informationstechnik Tech. Inform.
39 (3) (1997)