Poul Bøgh Lassen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1994
The IFAD VDM-SL toolbox: a practical approach to formal specifications.
ACM SIGPLAN Notices, 1994

IFAD VDM-SL Toolbox.
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.
Real Time Syst., 1993

1992
Making specifications executable - Using IPTES Meta-IV.
Microprocess. Microprogramming, 1992

1991
An Executable Subset of Meta-IV with Loose Specification.
Proceedings of the VDM '91, 1991


  Loading...