| | |
|---|
| 2015 | enerMAT - Design and Optimization of Building Energy Management Systems
Seidel, Stephan; Clauß, Christoph; Fordran, Eva; Franke, Matthias; Haufe, Jürgen; Majetta, Kristin; Meyer, Richard; Wurm, Jens; Blochwitz, Torsten; Liebold, Edgar; Hintzen, Ullrich; Klostermann, Volker | Konferenzbeitrag |
| 2014 | Entwicklung und Optimierung von Gebäude-Management-Systemen
Clauß, Christoph; Fordran, Eva; Haufe, Jürgen; Meyer, Richard; Seidel, Stephan; Majetta, Kristin; Franke, Matthias | Konferenzbeitrag |
| 2012 | Ein Ansatz zur Verifikation von Materialflusssteuerungen
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Seßler, Norman; Haufe, Jürgen; Schulze, Frank | Konferenzbeitrag |
| 2012 | Compositional verification of material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens | Konferenzbeitrag |
| 2012 | On the formal verification of routing in material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens | Konferenzbeitrag |
| 2012 | On the verification of routing in material handling systems
Seßler, Norman
: Klotz, Thomas; Fordran, Eva | Diplomarbeit |
| 2011 | An approach to the verification of material handling systems
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Haufe, Jürgen; Schulze, Frank; Turek, Karsten; Schmidt, Thorsten | Konferenzbeitrag |
| 2011 | Toward verification of material handling systems
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Haufe, Jürgen; Schulze, Frank; Turek, Karsten; Schmidt, Thorsten | Konferenzbeitrag |