TY  - INPR
ID  - deploy292
UR  - http://eprints.ecs.soton.ac.uk/22048/
A1  - Fathabadi, Asieh Salehi
A1  - Rezazadeh, Abdolbaghi
A1  - Butler, Michael
TI  - Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Y1  - 2011/02//
AV  - none
T2  - THIRD NASA FORMAL METHODS SYMPOSIUM
KW  - Event-B
KW  -  Refinement
KW  -  Atomicity Decomposition
KW  -  Structured Event Refinement
KW  -  Model Decomposition
KW  -  The Mercury Planetary Orbiter(MPO)
ER  -

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