creators_name: Fathabadi, Asieh Salehi
creators_name: Rezazadeh, Abdolbaghi
creators_name: Butler, Michael
type: conference_item
datestamp: 2011-02-24 08:47:41
lastmod: 2011-02-24 08:47:41
metadata_visibility: show
title: Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
ispublished: inpress
subjects: Refinement
subjects: deploy_industrial_space
subjects: deploy_method_comp
subjects: examples
full_text_status: none
pres_type: paper
keywords: Event-B, Refinement, Atomicity Decomposition, Structured Event Refinement, Model Decomposition, The Mercury Planetary Orbiter(MPO)
date: 2011-02
event_title: THIRD NASA FORMAL METHODS SYMPOSIUM
event_type: conference
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/22048/
citation:   Fathabadi, Asieh Salehi and Rezazadeh, Abdolbaghi and Butler, Michael  (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.  In: THIRD NASA FORMAL METHODS SYMPOSIUM.    (In Press)