 | 2009 |
|---|
| 3 |       | Friedemann Bitsch,
Ulrich Feucht,
Huw Gough:
Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications.
SAFECOMP 2009: 32-45 |
| 2004 |
|---|
| 2 | | 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 | | Friedemann Bitsch:
Safety Patterns - The Key to Formal Specification of Safety Requirements.
SAFECOMP 2001: 176-189 |
