TY - UNPB ID - deploy166 UR - http://deploy-eprints.ecs.soton.ac.uk/166/ A1 - Väisänen, Pauli A1 - Varpaaniemi, Kimmo TI - DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15 without statement numbering Y1 - 2010/01/01/ N2 - 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/. PB - Space Systems Finland Ltd AV - public ER -