Heinz-Dieter Hümmer

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

University of Duisburg-Essen, Germany (PHD)

Education History

University of Duisburg-Essen, Germany

PHD

Publications

Heinz-Dieter Hümmer, Walter Geisselhardt
New Aspects in High-Level Specification, Verification, and Design of IT Protocols. SBCCI (2001)
Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt
Formal Specification and Verification of Communication-Systems for designing in VHDL. FBT (1999)
Juergen Prang, Heinz-Dieter Hümmer, Walter Geisselhardt
A system for simulation, monitoring and diagnosis of controlled continuous processes with slow dynamics. Knowl. Based Syst. 9 (8) (1996)