dblp.uni-trier.dewww.uni-trier.de

René Elmstrøm

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
5 Henrik Lykke Nielsen, René Elmstrøm: Proposal for Tools Supporting Component Based Programming. ECOOP Workshops 1999: 187-188
1994
4EERené 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

1Michael Andersen [2]
2Peter Gorm Larsen [4]
3Poul Bøgh Lassen [2] [4]
4Raino Lintulampi [1]
5Henrik Lykke Nielsen [5]
6Mauro Pezzè [1]
7Petri Pulli [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)