Login
- Dokumenttyp:
- Buchbeitrag
- 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
- Dewey-Dezimalklassifikation:
- 000 Informatik, Wissen, Systeme
- Buchtitel:
- Lecture Notes in Computer Science
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2017
- Quartal:
- 3. Quartal
- Seiten/Umfang:
- 105-116
- Print-ISBN:
- 97833196626579783319662664
- DOI:
- doi:10.1007/978-3-319-66266-4_7
BibTeX
Versionen
