- Autor(en):
- Becker, Martin; Regnath, Emanuel; Chakraborty, Samarjit
- Titel:
- Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
- Buchtitel:
- Lecture Notes in Computer Science
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2017
- Seiten/Umfang:
- 105-116
- Print-ISBN:
- 97833196626579783319662664
- DOI:
- doi:10.1007/978-3-319-66266-4_7
- BibTeX
Versionen
Angezeigte Version:
Version 1 vom
20.10.2017, 11:40:53
von
Martin Becker
Andere Versionen des Dokuments: