creators_name: Iliasov, Alexei
creators_name: Laibinis, Linas
creators_name: Troubitsyna, Elena
creators_id: "Alexei Iliasov" <Alexei.Iliasov@newcastle.ac.uk>
creators_id: Linas.Laibinis@abo.fi
creators_id: Elena.Troubitsyna@abo.fi
type: rodin_archive
datestamp: 2010-03-22 10:47:57
lastmod: 2010-04-19 15:06:01
metadata_visibility: show
title: An Event-B model of the Attitude and Orbit Control System
subjects: Event-Bsemantics
subjects: Refinement
subjects: deploy_method_comp
subjects: deploy_method_resil
subjects: deploy_tooldev_modelc
full_text_status: public
date: 2010
citation:   Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena  (2010) An Event-B model of the Attitude and Orbit Control System.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/213/1/aocs3.zip