Dieter Hötzer

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Mirko Conrad, Dieter Hötzer
Selective Integration of Formal Methods in the Development of Electronic Control Units. ICFEM (1998)