Lausdahl, Kenneth, Department of Engineering, Aarhus University, Denmark
-
Technical Report Electronics and Computer Engineering Vol. 1 No. 4 (2012): Enhancing Formal Modelling Tool Support with Increased Automation - Reports
Enhancing Formal Modelling Tool Support with Increased Automation
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 13 (2013): Semantics of the VDM Real-Time Dialect - Reports
Semantics of the VDM Real-Time Dialect
Abstract PDF