Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. Becker, M., Regnath, E., & Chakraborty, S. In International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 105–116, 2017.
doi  bibtex   
	title = {Development and {Verification} of a {Flight} {Stack} for a {High}-{Altitude} {Glider} in {Ada}/{SPARK} 2014},
	doi = {10/ghwkp5},
	booktitle = {International {Conference} on {Computer} {Safety}, {Reliability} and {Security} ({SAFECOMP})},
	author = {Becker, Martin and Regnath, Emanuel and Chakraborty, Samarjit},
	year = {2017},
	pages = {105--116},

Downloads: 0