User: Guest  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 
versions