title: An Event-B model of the Attitude and Orbit Control System
creator: Iliasov, Alexei
creator: Laibinis, Linas
creator: Troubitsyna, Elena
subject: Event-B
subject: Refinement
subject: Composition and reuse
subject: Resilience
subject: Model construction
date: 2010
type: Rodin Archive
type: NonPeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/213/1/aocs3.zip
identifier:   Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena  (2010) An Event-B model of the Attitude and Orbit Control System.  [Rodin Archive]     
relation: http://deploy-eprints.ecs.soton.ac.uk/213/