Travelled to:
1 × Germany
1 × USA
Collaborated with:
P.Chapin C.Loseby
Talks about:
spark (2) constrain (1) resourc (1) program (1) control (1) system (1) embed (1) cube (1) use (1) sat (1)
Person: Carl Brandon
DBLP: Brandon:Carl
Contributed to:
Wrote 2 papers:
- AdaEurope-2013-BrandonC #ada
- A SPARK/Ada CubeSat Control Program (CB, PC), pp. 51–64.
- SIGAda-2009-LosebyCB #embedded #using
- Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.