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)

Status	Finished
Effective start/end date	01/06/2009 → 30/08/2013

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 Access
File
1036 Downloads (Pure)