Dieter Hötzer

List of publications from the DBLP Bibliography Server - FAQ

1998

1 EE Mirko Conrad, Dieter Hötzer: Selective Integration of Formal Methods in the Development of Electronic Control Units. ICFEM 1998: 144-

1998
1	EE	Mirko Conrad, Dieter Hötzer: Selective Integration of Formal Methods in the Development of Electronic Control Units. ICFEM 1998: 144-

Coauthor Index