Technical Report Electronics and Computer Engineering

Current Issue

Vol. 5 No. 29 (2017): Automated translation of VDM-SL to JML-annotated Java
Published: 2017-03-09
View All Issues

The Electronics and Computer Engineering technical report series presents research results from the Electrical and Computer Engineering area at the Department of Engineering, Aarhus University.

The aim of this technical report series is to make new research results publically available when they are ready and sometimes pending publication in journals in the form of articles. As there are no page limitations for the technical reports, they can include additional material in appendices that cannot be published in journals.

The reports include but are not limited to information on technical concepts, graphical depictions of designs or data, and reference material and specifications generated in the process of doing research.

The reports are published continuously.