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
