Heinz-Dieter Hümmer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

2 Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt: Formal Specification and Verification of Communication-Systems for designing in VHDL. FBT 1999: 45-54

1996

1 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): 525-530 (1996)

	1999
2		Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt: Formal Specification and Verification of Communication-Systems for designing in VHDL. FBT 1999: 45-54
	1996
1		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): 525-530 (1996)

Coauthor Index

1	Olaf Drögehorn (Olaf Droegehorn)	[2]
2	Walter Geisselhardt	[1] [2]
3	Juergen Prang	[1]
4	Oliver Terhorst	[2]