René Elmstrøm

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

5 Henrik Lykke Nielsen, René Elmstrøm: Proposal for Tools Supporting Component Based Programming. ECOOP Workshops 1999: 187-188

1994

4 René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen: The IFAD VDM-SL toolbox: a practical approach to formal specifications. SIGPLAN Notices 29(9): 77-80 (1994)

1993

3 Petri Pulli, René Elmstrøm: IPTES: A Concurrent Engineering Approach for Real-Time Software Development. Real-Time Systems 5(2-3): 139-152 (1993)

2 René Elmstrøm, Poul Bøgh Lassen, Michael Andersen: An Executable Subset of VDM-SL, in an SA/RT Framework. Real-Time Systems 5(2-3): 197-211 (1993)

1 René Elmstrøm, Raino Lintulampi, Mauro Pezzè: Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. Real-Time Systems 5(2-3): 249-271 (1993)

	1999
5		Henrik Lykke Nielsen, René Elmstrøm: Proposal for Tools Supporting Component Based Programming. ECOOP Workshops 1999: 187-188
	1994
4		René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen: The IFAD VDM-SL toolbox: a practical approach to formal specifications. SIGPLAN Notices 29(9): 77-80 (1994)
	1993
3		Petri Pulli, René Elmstrøm: IPTES: A Concurrent Engineering Approach for Real-Time Software Development. Real-Time Systems 5(2-3): 139-152 (1993)
2		René Elmstrøm, Poul Bøgh Lassen, Michael Andersen: An Executable Subset of VDM-SL, in an SA/RT Framework. Real-Time Systems 5(2-3): 197-211 (1993)
1		René Elmstrøm, Raino Lintulampi, Mauro Pezzè: Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. Real-Time Systems 5(2-3): 249-271 (1993)

Coauthor Index