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 @inproceedings{becker_development_2017,
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
{"_id":"kB4ytosTsKiLNEP6Z","bibbaseid":"becker-regnath-chakraborty-developmentandverificationofaflightstackforahighaltitudegliderinadaspark2014-2017","author_short":["Becker, M.","Regnath, E.","Chakraborty, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Becker"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Regnath"],"firstnames":["Emanuel"],"suffixes":[]},{"propositions":[],"lastnames":["Chakraborty"],"firstnames":["Samarjit"],"suffixes":[]}],"year":"2017","pages":"105–116","bibtex":"@inproceedings{becker_development_2017,\n\ttitle = {Development and {Verification} of a {Flight} {Stack} for a {High}-{Altitude} {Glider} in {Ada}/{SPARK} 2014},\n\tdoi = {10/ghwkp5},\n\tbooktitle = {International {Conference} on {Computer} {Safety}, {Reliability} and {Security} ({SAFECOMP})},\n\tauthor = {Becker, Martin and Regnath, Emanuel and Chakraborty, Samarjit},\n\tyear = {2017},\n\tpages = {105--116},\n}\n\n","author_short":["Becker, M.","Regnath, E.","Chakraborty, S."],"key":"becker_development_2017","id":"becker_development_2017","bibbaseid":"becker-regnath-chakraborty-developmentandverificationofaflightstackforahighaltitudegliderinadaspark2014-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["development","verification","flight","stack","high","altitude","glider","ada","spark","2014","becker","regnath","chakraborty"],"title":"Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014","year":2017}