Publications per year
Publications per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/06/2009 → 30/08/2013 |
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 AccessFile1162 Downloads (Pure)