Mikkel Koefoed Jakobsen - DTU Orbit

‹ Back to search result

Mikkel Koefoed Jakobsen

Mikkel Koefoed Jakobsen

(Former)

View graph of relations

Research outputs

(6)

Published
Formal methods for design and simulation of embedded systems
Research output: Research › Ph.D. thesis – Annual report year: 2014
Published
Formal heterogeneous system modeling with SystemC
Research output: Research - peer-review › Article in proceedings – Annual report year: 2012
Published
System level modelling with open source tools
Research output: Research - peer-review › Paper – Annual report year: 2012

Most frequent publishers

IEEE
Central database
Publisher
Technical University of Denmark (DTU)
Local database
Publisher
DTU Informatik, Danmarks Tekniske Universitet
Local database
Publisher

Projects

(1)

Formal methods for design and simulation of embedded systems
Project: PhD

Download as:

Download as PDF

Select render style:

Download as HTML

Select render style:

Download as Word

Select render style:

Download as: To download, please limit the number of search results to 1,000 or less.

ID: 2169607