 | 1999 |
|---|
| 7 |       | Henrik Lykke Nielsen,
René Elmstrøm:
Proposal for Tools Supporting Component Based Programming.
ECOOP Workshops 1999: 187-188 |
| 1994 |
|---|
| 6 |  | 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 |
|---|
| 5 | | Petri Pulli,
René Elmstrøm:
IPTES: A Concurrent Engineering Approach for Real-Time Software Development.
Real-Time Systems 5(2-3): 139-152 (1993) |
| 4 | | 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) |
| 3 | | 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) |
| 1992 |
|---|
| 2 | | Petri Pulli,
René Elmstrøm:
IPTES - Incremental Prototyping Technology for Embedded real-time Systems.
Microprocessing and Microprogramming 35(1-5): 13-21 (1992) |
| 1 | | Michael Andersen,
René Elmstrøm,
Poul Bøgh Lassen,
Peter Gorm Larsen:
Making specifications executable - Using IPTES Meta-IV.
Microprocessing and Microprogramming 35(1-5): 521-528 (1992) |
Data released under the ODC-BY 1.0 license — See also our legal information page