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
