Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research Units
Research output
Activities
Projects
Prizes
Press / Media
Datasets
Search by expertise, name or affiliation
Formal methods for design and simulation of embedded systems
Jakobsen, Mikkel Koefoed
(PhD Student)
Madsen, Jan
(Main Supervisor)
Hansen, Michael Reichhardt
(Supervisor)
Dragoni, Nicola
(Examiner)
Plosila, Juha Petteri
(Examiner)
Vain, Jüri
(Examiner)
Overview
Fingerprint
Research output
(1)
Project Details
Status
Finished
Effective start/end date
01/06/2009
→
30/08/2013
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Formal methods
Engineering & Materials Science
100%
Embedded systems
Engineering & Materials Science
79%
Wireless sensor networks
Engineering & Materials Science
67%
Hearing aids
Engineering & Materials Science
56%
Energy harvesting
Engineering & Materials Science
44%
Routing algorithms
Engineering & Materials Science
43%
Industry
Engineering & Materials Science
37%
Computer aided design
Engineering & Materials Science
36%
Research output
Research output per year
2013
2013
2013
1
Ph.D. thesis
Research output per year
Research output per year
Formal methods for design and simulation of embedded systems
Jakobsen, M. K.
,
2013
, Kgs. Lyngby:
Technical University of Denmark
.
190 p.
(PHD-2013; No. 289).
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Formal methods
100%
Embedded systems
79%
Wireless sensor networks
67%
Hearing aids
56%
Energy harvesting
44%
1036
Downloads (Pure)