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