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

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