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)

1 Ph.D. thesis

1 results

2015
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
2351 Downloads (Orbit)