Article
Oct 18 '10
Mission: Critical for nano-satellites
Published in SAE International Aerospace Engineering & Manufacturing
AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools are being used at Vermont Technical College during the implementation of two NASA-sponsored programs: continued work on a CubeSat and development of an Arctic Sea Ice Buoy.
