title: Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
creator: Fathabadi, Asieh Salehi
creator: Rezazadeh, Abdolbaghi
creator: Butler, Michael
subject: Refinement
subject: Space
subject: Composition and reuse
subject: Event-B Examples
date: 2011-02
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/22048/
identifier:   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)  
relation: http://deploy-eprints.ecs.soton.ac.uk/292/