default search action

combined dblp search
author search
venue search
publication search

ask others

René Elmstrøm

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecoopw/NielsenE99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/NielsenE99
Henrik Lykke Nielsen, René Elmstrøm:
Proposal for Tools Supporting Component Based Programming. ECOOP Workshops 1999: 187-188
1994
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/ElmstromLL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/ElmstromLL94
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): 77-80 (1994)
1993
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/PulliE93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/PulliE93
Petri Pulli, René Elmstrøm:
IPTES: A Concurrent Engineering Approach for Real-Time Software Development. Real Time Syst. 5(2-3): 139-152 (1993)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/ElmstromLA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ElmstromLA93
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): 197-211 (1993)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/ElmstromLP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ElmstromLP93
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): 249-271 (1993)
1992
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/PulliE92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/PulliE92
Petri Pulli, René Elmstrøm:
IPTES - Incremental Prototyping Technology for Embedded real-time Systems. Microprocess. Microprogramming 35(1-5): 13-21 (1992)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/AndersenELL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/AndersenELL92
Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen:
Making specifications executable - Using IPTES Meta-IV. Microprocess. Microprogramming 35(1-5): 521-528 (1992)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.