Product assurance for the development of the SAX AOCS application software - Dekker, G.J.; Kesseler, E. (National Aerospace Laboratory NLR, 1996)
Keywords: Embedded systems; Space technology