title: Event-B Project BepiColombo_Models_v6.4
creator: Varpaaniemi, Kimmo
subject: Industrial Deployment
subject: Space
description: 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
type: Rodin Archive
type: NonPeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/244/1/BepiColombo_Models_v6.4.zip
identifier:   Varpaaniemi, Kimmo  (2010) Event-B Project BepiColombo_Models_v6.4.  [Rodin Archive]     
relation: http://deploy-eprints.ecs.soton.ac.uk/244/

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