2004 | ||
---|---|---|
3 | EE | Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell: A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418 |
2 | 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 |
2001 | ||
1 | EE | Nanette Bauer, Ralf Huuck: Towards Automatic Verification of Embedded Control Software. APAQS 2001: 375-386 |
1 | Sebastian Engell | [2] [3] |
2 | Ralf Huuck | [1] [2] [3] |
3 | Sven Lohmann | [2] |
4 | Ben Lukoschus | [2] [3] |
5 | Manuel Remelhe | [2] |
6 | Olaf Stursberg | [2] |