| 2004 |
|---|
| 4 | EE | Nanette Bauer,
Ralf Huuck,
Ben Lukoschus,
Sebastian Engell:
A Unifying Semantics for Sequential Function Charts.
SoftSpez Final Report 2004: 400-418 |
| 3 | 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 |
| 2000 |
|---|
| 2 | | Sébastien Bornot,
Ralf Huuck,
Ben Lukoschus:
Statische Analysetechniken für speicherprogrammierbare Steuerungen.
FBT 2000: 175-181 |
| 1 | | Sébastien Bornot,
Ralf Huuck,
Ben Lukoschus:
Verification of Sequential Function Charts Using SMV.
PDPTA 2000 |
