Larsen, Peter Gorm, Department of Engineering, Aarhus University, Danmark
-
Technical Report Electronics and Computer Engineering Årg. 4 Nr. 28 (2016): The 14th Overture Workshop: Towards Analytical Tool Chains - Reports
The 14th Overture Workshop: Towards Analytical Tool Chains
Resumé PDF (English) -
Technical Report Electronics and Computer Engineering Årg. 1 Nr. 5 (2012): Applying Co-Simulation for an Industrial Conveyor System - Reports
Applying Co-Simulation for an Industrial Conveyor System
Resumé PDF (English) -
Technical Report Electronics and Computer Engineering Årg. 2 Nr. 13 (2013): Semantics of the VDM Real-Time Dialect - Reports
Semantics of the VDM Real-Time Dialect
Resumé PDF (English)