| |
| 1999 | ||
|---|---|---|
| 5 | Henrik Lykke Nielsen, René Elmstrøm: Proposal for Tools Supporting Component Based Programming. ECOOP Workshops 1999: 187-188 | |
| 1994 | ||
| 4 | EE | 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) | |
| 1 | Michael Andersen | [2] |
| 2 | Peter Gorm Larsen | [4] |
| 3 | Poul Bøgh Lassen | [2] [4] |
| 4 | Raino Lintulampi | [1] |
| 5 | Henrik Lykke Nielsen | [5] |
| 6 | Mauro Pezzè | [1] |
| 7 | Petri Pulli | [3] |