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
Subjects:Event-B
Industrial Deployment
Industrial Deployment > Business
Methodology
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