Code Generation from Pragmatics Annotated Coloured Petri Nets

Kent Inge Simonsen

Department of Applied Mathematics and Computer Science

Research output: Book/Report › Ph.D. thesis

2371 Downloads (Pure)

1 results

Filter

Finished
Behavioural Modelling and Model-based Development of Protocol Software
Simonsen, K. I. (PhD Student), Kindler, E. (Main Supervisor), Kristensen, L. M. (Supervisor), Baumeister, H. (Examiner), Daniel, M. (Examiner) & Meling, H. (Examiner)
Stipendie fra udlandet
01/03/2011 → 21/11/2014
Project: PhD