| |
| 1998 | ||
|---|---|---|
| 3 | EE | Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou: From Safety Analysis to Software Requirements. IEEE Trans. Software Eng. 24(7): 573-584 (1998) |
| 1994 | ||
| 2 | Kirsten Mark Hansen: Validation of a Railway Interlocking Model. FME 1994: 582-601 | |
| 1993 | ||
| 1 | EE | Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen: Specifying and Verifying Requirements of Real-Time Systems. IEEE Trans. Software Eng. 19(1): 41-55 (1993) |
| 1 | Anders P. Ravn | [1] [3] |
| 2 | Hans Rischel | [1] |
| 3 | Victoria Stavridou | [3] |