René Elmstrøm

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Henrik Lykke Nielsen, René Elmstrøm
Proposal for Tools Supporting Component Based Programming. ECOOP Workshops (1999)
René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen
The IFAD VDM-SL toolbox: a practical approach to formal specifications. ACM SIGPLAN Notices 29 (9) (1994)
René Elmstrøm, Poul Bøgh Lassen, Michael Andersen
An Executable Subset of VDM-SL, in an SA/RT Framework. Real Time Syst. 5 (2-3) (1993)
René Elmstrøm, Raino Lintulampi, Mauro Pezzè
Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. Real Time Syst. 5 (2-3) (1993)
Petri Pulli, René Elmstrøm
IPTES: A Concurrent Engineering Approach for Real-Time Software Development. Real Time Syst. 5 (2-3) (1993)
Petri Pulli, René Elmstrøm
IPTES - Incremental Prototyping Technology for Embedded real-time Systems. Microprocess. Microprogramming 35 (1-5) (1992)
Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen
Making specifications executable - Using IPTES Meta-IV. Microprocess. Microprogramming 35 (1-5) (1992)