%A Pauli V?is?nen
%A Kimmo Varpaaniemi
%T DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15
%X An executable "DEPLOY Satellite" specification in the form of Ada source code that has statement numbering comments. The presence of statement numbering comments is the only difference with respect to http://deploy-eprints.ecs.soton.ac.uk/166/.
%D 2010
%I Space Systems Finland Ltd
%L deploy167

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