A SPARK/Ada CubeSat Control Program.

Carl Brandon Peter Chapin

Published in: Ada-Europe (2013)

Keyphrases

control program
automatic programming
database
databases
genetic algorithm
wireless networks
evolutionary computation
theorem proving
computer science
computer systems
theorem prover