Formal methods for design and simulation of embedded systems

Mikkel Koefoed Jakobsen

Research output: Book/ReportPh.D. thesis

1242 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal methods for design and simulation of embedded systems'. Together they form a unique fingerprint.

Computer Science