Larsen, Peter Gorm, Department of Engineering, Aarhus University, Denmark

• Technical Report Electronics and Computer Engineering Vol. 4 No. 28 (2016): The 14th Overture Workshop: Towards Analytical Tool Chains - Reports
  The 14th Overture Workshop: Towards Analytical Tool Chains
  Abstract  PDF
• Technical Report Electronics and Computer Engineering Vol. 1 No. 5 (2012): Applying Co-Simulation for an Industrial Conveyor System - Reports
  Applying Co-Simulation for an Industrial Conveyor System
  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