|
Search the dblp DataBase
René Elmstrøm:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Henrik Lykke Nielsen, René Elmstrøm
Proposal for Tools Supporting Component Based Programming. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1999, pp:187-188 [Conf]
- René Elmstrøm, Poul Bøgh Lassen, Michael Andersen
An Executable Subset of VDM-SL, in an SA/RT Framework. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1993, v:5, n:2-3, pp:197-211 [Journal]
- René Elmstrøm, Raino Lintulampi, Mauro Pezzè
Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1993, v:5, n:2-3, pp:249-271 [Journal]
- Petri Pulli, René Elmstrøm
IPTES: A Concurrent Engineering Approach for Real-Time Software Development. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1993, v:5, n:2-3, pp:139-152 [Journal]
- René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen
The IFAD VDM-SL toolbox: a practical approach to formal specifications. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1994, v:29, n:9, pp:77-80 [Journal]
Search in 0.002secs, Finished in 0.002secs
|