creators_name: Varpaaniemi, Kimmo
type: rodin_archive
datestamp: 2010-09-23 16:32:37
lastmod: 2010-09-23 16:33:13
metadata_visibility: show
title: Event-B Project BepiColombo_Models_v6.4
subjects: deploy_industrial
subjects: deploy_industrial_space
full_text_status: public
abstract: A very limited model of BepiColombo SIXS/MIXS on-board software requirements. A part of an experiment on using Rodin Platform 1.3.1 with Modularisation Plugin 1.2.9.201008190448.
date: 2010-09-23
date_type: completed
institution: Space Systems Finland Ltd.
citation:   Varpaaniemi, Kimmo  (2010) Event-B Project BepiColombo_Models_v6.4.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/244/1/BepiColombo_Models_v6.4.zip

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>