TY  - RPRT
TI  - Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles
AU  - Martin Becker
AU  - Markus Neumair
AU  - Alexander Söhn
AU  - Samarjit Chakraborty
PY  - 2017
DO  - 10.1007/978-3-319-24249-1_32
UR  - https://arxiv.org/abs/1506.07867
ID  - 1506.07867
ER  -