| |
| 2005 | ||
|---|---|---|
| 2 | EE | Sebastian Engell, Sven Lohmann, Olaf Stursberg: Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. International Journal of Software Engineering and Knowledge Engineering 15(2): 307-312 (2005) |
| 2004 | ||
| 1 | EE | Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg: Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540 |
| 1 | Nanette Bauer | [1] |
| 2 | Sebastian Engell | [1] [2] |
| 3 | Ralf Huuck | [1] |
| 4 | Ben Lukoschus | [1] |
| 5 | Manuel Remelhe | [1] |
| 6 | Olaf Stursberg | [1] [2] |