Click on a search word OR use the drop-down choices to search for a paper.

Show all

2019

Diskin, Zinovy; Annable, Nicholas; Wassyng, Alan; Lawford, Mark

Assurance via Workflow+ Modelling and Conformance Technical Report

2019.

Links | BibTeX | Tags: assurance, conformance, Workflow+

Diskin, Zinovy; Annable, Nicholas; Wassyng, Alan; Lawford, Mark

Assurance via Workflow+ Modelling and Conformance (an extended version) Technical Report

2019.

Links | BibTeX | Tags: assurance, conformance, Workflow+