Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
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
Publications
(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.
Use Case
Computer Science
100%
Simulation
Computer Science
100%
Design
Computer Science
100%
Embedded Systems
Computer Science
100%
Physical System
Computer Science
83%
Modeling Framework
Computer Science
66%
Routing Algorithm
Computer Science
16%
Design Challenge
Computer Science
16%
Research output
Publications per year
2013
2013
2013
1
Ph.D. thesis
Publications per year
Publications 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
Embedded Systems
100%
Use Case
100%
Design
100%
Simulation
100%
Physical System
83%
1162
Downloads (Pure)