Login / Signup
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles.
Martin Becker
Markus Neumair
Alexander Söhn
Samarjit Chakraborty
Published in:
CoRR (2015)
Keyphrases
</>
real time
databases
decision making
data sets
information systems