Industrial deployment of system engineering methods providing high dependability and productivity


Formal Analysis of BPMN Models Using Event-B

Bryans, Jeremy W. and Wei , Wei (2010) Formal Analysis of BPMN Models Using Event-B. Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems . pp. 33-49.

Full text not available from this repository.

Item Type:Article
Industrial Deployment
Industrial Deployment > Business
ID Code:248
Deposited By:Wei Wei
Deposited On:21 Oct 2010 11:03
Last Modified:21 Oct 2010 11:05

Repository Staff Only: item control page

Deploy-Project - All right reserved