Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/06/2009 → 30/08/2013 |
Funding
- 1/3 FUU, 1/3 inst 1/3 Andet
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.
Research output
- 1 Ph.D. thesis
-
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 AccessFile1271 Downloads (Orbit)