Heinz-Dieter Hümmer

According to our database, Heinz-Dieter Hümmer authored at least 4 papers between 1986 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

New Aspects in High-Level Specification, Verification, and Design of IT Protocols.

Heinz-Dieter Hümmer, Walter Geisselhardt

Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001

1999

Formal Specification and Verification of Communication-Systems for designing in VHDL.

Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1996

A system for simulation, monitoring and diagnosis of controlled continuous processes with slow dynamics.

Juergen Prang, Heinz-Dieter Hümmer, Walter Geisselhardt

Knowl. Based Syst., 1996

1986

Simultane Überwachung des Steuerflusses in programmierbaren Systemen.

Heinz-Dieter Hümmer

PhD thesis, 1986