Kirsten Mark Hansen

According to our database, Kirsten Mark Hansen authored at least 3 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

From Safety Analysis to Software Requirements.

Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou

IEEE Trans. Software Eng., 1998

1994

Validation of a Railway Interlocking Model.

Kirsten Mark Hansen

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1991

Specifying and verifying requirements of real-time systems.

Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel

Proceedings of the conference on Software for citical systems, 1991