<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-05-09 09:08:56Satellites CubeSat Radio Aurora Explorer AdaCore SPARK Global Positioning System Ada Embedded system Chasqui I Spacecraft Space technology Ada programming language |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-05-09 09:08:56Satellites CubeSat Radio Aurora Explorer AdaCore SPARK Global Positioning System Ada Embedded system Chasqui I Spacecraft Space technology Ada programming language |
|
A SPARK/Ada CubeSat Control Program Carl Brandon1 and Peter Chapin2 1 Vermont Technical College, Randolph Center VT 05061, USA 2