Poul Bøgh Lassen

According to our database, Poul Bøgh Lassen authored at least 5 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1994

The IFAD VDM-SL toolbox: a practical approach to formal specifications.

René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen

ACM SIGPLAN Notices, 1994

IFAD VDM-SL Toolbox.

Poul Bøgh Lassen

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

An Executable Subset of VDM-SL, in an SA/RT Framework.

René Elmstrøm, Poul Bøgh Lassen, Michael Andersen

Real Time Syst., 1993

1992

Making specifications executable - Using IPTES Meta-IV.

Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen

Microprocess. Microprogramming, 1992

1991

An Executable Subset of Meta-IV with Loose Specification.

Peter Gorm Larsen, Poul Bøgh Lassen

Proceedings of the VDM '91, 1991