 | 2004 |
|---|
| 4 |       | Nanette Bauer,
Ralf Huuck,
Ben Lukoschus,
Sebastian Engell:
A Unifying Semantics for Sequential Function Charts.
SoftSpez Final Report 2004: 400-418 |
| 3 | | 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 |
| 2 |  | Nanette Bauer:
Formale Analyse von sequential function Charts.
Dortmund University of Technology 2004: 1-178 |
| 2001 |
|---|
| 1 | | Nanette Bauer,
Ralf Huuck:
Towards Automatic Verification of Embedded Control Software.
APAQS 2001: 375-386 |
Data released under the ODC-BY 1.0 license — See also our legal information page