• Published

  Code Generation for Protocols from CPN models Annotated with Pragmatics

  Publication: Research › Report – Annual report year: 2013

• Published

  Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models

  Publication: Research - peer-review › Paper – Annual report year: 2012

• Published

  Code Generation for Protocols from CPN models Annotated with Pragmatics

  Publication: Research - peer-review › Paper – Annual report year: 2012

View all »

• Technical University of Denmark

  Local database

  Publisher

• Behavioural Modelling and Model-based Development of Protocol Software

  Project: PhD