creators_name: Bryans, Jeremy W.
creators_name: Wei , Wei
creators_id: jeremy.bryans@ncl.ac.uk
creators_id: wei01.wei@sap.com
type: article
datestamp: 2010-10-21 10:03:34
lastmod: 2010-10-21 10:05:22
metadata_visibility: show
title: Formal Analysis of BPMN Models Using Event-B
ispublished: pub
subjects: Event-Bsemantics
subjects: deploy_industrial
subjects: deploy_industrial_bus
subjects: deploy_method
full_text_status: none
date: 2010
date_type: published
publication: Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems
publisher: Springer
pagerange: 33-49
refereed: TRUE
citation:   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.