Behavioural Modelling and Model-based Development of Protocol Software

Simonsen, Kent Inge (PhD Student)
Kindler, Ekkart (Main Supervisor)
Kristensen, Lars Michael (Supervisor)
Baumeister, Hubert (Examiner)
Daniel, Moldt (Examiner)
Meling, Hein (Examiner)

Status	Finished
Effective start/end date	01/03/2011 → 21/11/2014

Funding

Stipendie fra udlandet

1 Ph.D. thesis

Code Generation from Pragmatics Annotated Coloured Petri Nets
Simonsen, K. I., 2015, Kgs. Lyngby: Technical University of Denmark. 296 p. (DTU Compute PHD-2014; No. 345).
Research output: Book/Report › Ph.D. thesis

Open Access
File
2605 Downloads (Orbit)