creators_name: Hoang, Thai Son
creators_name: Iliasov, Alexei
creators_name: Silva, Renato
creators_name: Wei , Wei
creators_id: htson@inf.ethz.ch
creators_id: "Alexei Iliasov" <Alexei.Iliasov@newcastle.ac.uk>
creators_id: wei01.wei@sap.com
type: article
datestamp: 2012-07-09 14:52:16
lastmod: 2012-07-09 14:52:16
metadata_visibility: show
title: A Survey on Event-B Decomposition
ispublished: pub
subjects: deploy_industrial_bus
subjects: deploy_method_comp
full_text_status: none
date: 2011
date_type: published
publication: ECEASST
volume: 46
refereed: TRUE
official_url: http://journal.ub.tu-berlin.de/eceasst/article/view/688
citation:   Hoang, Thai Son and Iliasov, Alexei and Silva, Renato and Wei , Wei  (2011) A Survey on Event-B Decomposition.  ECEASST, 46 .        

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>