creators_name: Ilic, Dubravka
creators_name: Varpaaniemi, Kimmo
type: rodin_archive
datestamp: 2009-01-24 10:25:46
lastmod: 2010-04-19 15:05:52
metadata_visibility: show
title: Event-B Models BepiColombo pilot (by SSF)
subjects: deploy_industrial_space
full_text_status: public
citation:   Ilic, Dubravka and Varpaaniemi, Kimmo   Event-B Models BepiColombo pilot (by SSF).  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/77/1/BepiColombo_Models_v3.3.zip