"168","Event-B Project DepSatSpec015Model000","An Event-B model of \"DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15\" (http://deploy-eprints.ecs.soton.ac.uk/167/). This model is complete with respect to events but has only a few of the invariants discounted in the source code.","http://deploy-eprints.ecs.soton.ac.uk/168/","Varpaaniemi, Kimmo","UNSPECIFIED","       <span class=\"person_name\">Varpaaniemi, Kimmo</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/168/\"><em>Event-B Project DepSatSpec015Model000.</em></a>       [Rodin Archive]           ","","2010-01-03"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>