"244","Event-B Project BepiColombo_Models_v6.4","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.","http://deploy-eprints.ecs.soton.ac.uk/244/","Varpaaniemi, Kimmo","UNSPECIFIED","       <span class=\"person_name\">Varpaaniemi, Kimmo</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/244/\"><em>Event-B Project BepiColombo_Models_v6.4.</em></a>       [Rodin Archive]           ","","2010-09-23"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>