Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Becker, Martin; Regnath, Emanuel; Chakraborty, Samarjit
- Title:
- Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
- Dewey Decimal Classification:
- 000 Informatik, Wissen, Systeme
- Editor:
- Springer
- Book / Congress title:
- International Conference on Computer Safety, Reliability and Security (SAFECOMP)
- Publisher:
- Springer International Publishing
- Year:
- 2017
- Quarter:
- 3. Quartal
- Pages:
- 105-116
- Print-ISBN:
- 97833196626579783319662664
- Fulltext / DOI:
- doi:10.1007/978-3-319-66266-4_7
BibTeX
versions
