Kirsten Mark Hansen

	1998
3		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		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)

Coauthor Index

1	Anders P. Ravn	[1] [3]
2	Hans Rischel	[1]
3	Victoria Stavridou	[3]