| |
| 2004 | ||
|---|---|---|
| 1 | EE | Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder: Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. SoftSpez Final Report 2004: 96-118 |
| 1 | Jan Poliak | [1] |
| 2 | Eckehard Schnieder | [1] |
| 3 | Roman Slovák | [1] |