Abschlussbericht zum Teilvorhaben im Verbundprojekt "VAIAS - Validierbare Architekturen für industrielle Automations-Systeme" : Projektlaufzeit: 01.01.2004 - 30.06.2007

von Hanisch, Hans-Michael
Veröffentlicht 2007

Petri-Netze in der Verfahrenstechnik : Modellierung und Steuerung verfahrenstechnischer Systeme ; mit 35 Tabellen und 81 Beispielen

von Hanisch, Hans-Michael
Veröffentlicht 1992

Petri-Netze in der Verfahrenstechnik : Modellierung und Steuerung verfahrenstechnischer Systeme ; mit 35 Tabellen und 81 Beispielen

von Hanisch, Hans-Michael
Veröffentlicht 1992

Inkrementell iterative Entwicklung von virtuellen Instrumenten, dargestellt am Beispiel biomedizinischer Messeinrichtungen

von Hanisch, Hans-Michael
Veröffentlicht in Virtuelle Instrumente in der Praxis (2004)

Zeitstempelnetze in technischen Anwendungen

Veröffentlicht in Kamp, Manfred Managing a multi-file, multi-language software repository for program comprehension tools (1998)

Petri-Netze in der Verfahrenstechnik : Modellierung und Steuerung verfahrenstechnischer Systeme ; mit 35 Tabellen und 81 Beispielen

von Hanisch, Hans-Michael
Veröffentlicht 1992

Systematische Entwicklung hybrider Modelle durch Diskretisierung der Bilanzgrößen

von Lindow, Holger
Veröffentlicht 1995

On-the-fly-Migration und Sofort-Inbetriebnahme von automatisierten Systemen (OMSIS) : Schlussbericht ; Projektlaufzeit: 01.04.2008 - 31.07.2011

von Hanisch, Hans-Michael
Veröffentlicht 2011

Reconfigurable embedded control systems : applications for flexibility and agility

Veröffentlicht 2011

Systematische Entwicklung hybrider Modelle durch Diskretisierung der Bilanzgrößen

von Lindow, Holger
Veröffentlicht 1995

Synthesis of forcing/locking controllers for forbidden state problems based on Net Condition/Event Systems

von Lüder, A.
Veröffentlicht 1996

Steuerung von Chargenprozessen

von Helms, Alfred
Veröffentlicht 1989