René Elmstrøm

Publications

127

Citations

H-Index

1992

Active since

Affiliations

Instituttet for Anvendt Datateknik (Denmark)(Current)

René Elmstrøm is an author at Instituttet for Anvendt Datateknik (Denmark) specializing in computer engineering, engineering, and formal verification.

Top concepts

EngineeringComputer EngineeringFormal MethodsEmbedded SystemsReal-time SystemsSoftware AnalysisFormal VerificationSystems EngineeringFormal SpecificationComputer Architecture

Publications per year

1992–1994

Publications

The IFAD VDM-SL toolbox

René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen · ACM SIGPLAN Notices · 1994 · 92 citations · Full text

IPTES — Incremental Prototyping Technology for Embedded real-time Systems

Petri Pulli, René Elmstrøm · Microprocessing and Microprogramming · 1992 · 22 citations

Engineering, Computer Engineering, Computer Architecture +6

Making specifications executable — Using IPTES Meta-IV

Michael Andersen, René Elmstrøm, Poul Bøgh Lassen et al. · Microprocessing and Microprogramming · 1992 · 13 citations

Formal Specification, Engineering, System Specification +6

Rows per page

1–3 of 3