Industrial deployment of system engineering methods providing high dependability and productivity

 

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B

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

Deploy-Project - All right reserved