Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

Document type:: Buchbeitrag
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
Book title:: Lecture Notes in Computer Science
Publisher:: Springer International Publishing
Year:: 2017
Quarter:: 3. Quartal
Pages:: 105-116
Print-ISBN:: 97833196626579783319662664
DOI:: doi:10.1007/978-3-319-66266-4_7
BibTeX

versions

Occurrences: