| |
| 2008 | ||
|---|---|---|
| 2 | Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich: OOLH: A Formal Framework for Specifying System Requirements. SIGSAND-EUROPE 2008: 75-78 | |
| 2004 | ||
| 1 | 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 |
| 1 | Saeid Arabestani | [1] |
| 2 | Friedemann Bitsch | [1] |
| 3 | Hans-Dieter Ehrich | [2] |
| 4 | Yuen Man Hon | [2] |