Poul Bøgh Lassen

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Poul Bøgh Lassen
IFAD VDM-SL Toolbox. FTRTFT (1994)
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) (1994)
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) (1993)
Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen
Making specifications executable - Using IPTES Meta-IV. Microprocess. Microprogramming 35 (1-5) (1992)
Peter Gorm Larsen, Poul Bøgh Lassen
An Executable Subset of Meta-IV with Loose Specification. VDM Europe (1) (1991)