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

Martin Becker Emanuel Regnath Samarjit Chakraborty

Published in: SAFECOMP (2017)

Keyphrases

high altitude
low altitude
case study
software engineering
information processing
model checking
multiscale
database
real time
databases
web services
multi agent
mobile devices
development process