title: Event-B Models BepiColombo pilot (by SSF)
creator: Ilic, Dubravka
creator: Varpaaniemi, Kimmo
subject: Space
type: Rodin Archive
type: NonPeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/77/1/BepiColombo_Models_v3.3.zip
identifier:   Ilic, Dubravka and Varpaaniemi, Kimmo   Event-B Models BepiColombo pilot (by SSF).  [Rodin Archive]     
relation: http://deploy-eprints.ecs.soton.ac.uk/77/