Heinz-Dieter Hümmer

According to our database1, Heinz-Dieter Hümmer authored at least 3 papers between 1986 and 1999.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1999
Formal Specification and Verification of Communication-Systems for designing in VHDL.
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.
Knowl.-Based Syst., 1996

1986
Simultane Überwachung des Steuerflusses in programmierbaren Systemen.
PhD thesis, 1986


  Loading...