Skip to main navigation Skip to search Skip to main content

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

  • Kent Inge Simonsen
  • , Lars Michael Kristensen
  • Western Norway University of Applied Sciences

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Fingerprint

Dive into the research topics of 'Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases