Kirsten Mark Hansen

Publication Activity (10 Years)

Years Active: 1991-1998
Publications (10 Years): 0

Publications

Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou
From Safety Analysis to Software Requirements. IEEE Trans. Software Eng. 24 (7) (1998)
Kirsten Mark Hansen
Validation of a Railway Interlocking Model. FME (1994)
Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen
Specifying and Verifying Requirements of Real-Time Systems. IEEE Trans. Software Eng. 19 (1) (1993)
Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel
Specifying and verifying requirements of real-time systems. SIGSOFT (1991)