| |
| 2004 | ||
|---|---|---|
| 2 | EE | Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen: Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. SoftSpez Final Report 2004: 119-144 |
| 2001 | ||
| 1 | EE | Friedemann Bitsch: Safety Patterns - The Key to Formal Specification of Safety Requirements. SAFECOMP 2001: 176-189 |
| 1 | Saeid Arabestani | [2] |
| 2 | Jan-Tecker Gayen | [2] |