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)
Full text not available from this repository.
Official URL: http://eprints.ecs.soton.ac.uk/22048/
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Uncontrolled Keywords: | Event-B, Refinement, Atomicity Decomposition, Structured Event Refinement, Model Decomposition, The Mercury Planetary Orbiter(MPO) |
Subjects: | Methodology > Refinement Industrial Deployment > Space Methodology > Composition and reuse Event-B > Event-B Examples |
ID Code: | 292 |
Deposited By: | Michael Butler |
Deposited On: | 24 Feb 2011 08:47 |
Last Modified: | 24 Feb 2011 08:47 |
Repository Staff Only: item control page