Login
- Titel:
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Becker, Martin; Regnath, Emanuel; Chakraborty, Samarjit
- Dewey-Dezimalklassifikation:
- 000 Informatik, Wissen, Systeme
- Herausgeber:
- Springer
- Buchtitel:
- Lecture Notes in Computer Science
- Kongress- / Buchtitel:
- International Conference on Computer Safety, Reliability and Security (SAFECOMP)
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2017
- Quartal:
- 3. Quartal
- Seiten:
- 105-116
- Print-ISBN:
- 97833196626579783319662664
- Volltext / DOI:
- doi:10.1007/978-3-319-66266-4_7
BibTeX
Versionen
