Benutzer: Gast  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