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

Martin Becker Emanuel Regnath Samarjit Chakraborty

Published in: CoRR (2017)

Keyphrases

high altitude
low altitude
case study
software engineering
knowledge based systems
real time
machine learning
information retrieval
information systems
decision support
project management
design principles
rapid development
formal methods
rapid prototyping