BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brandon:Carl

Contributed to:

Ada-Europe 20132013
SIGAda 20092009

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.