Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles.

Martin Becker, Markus Neumair, Alexander Shn, Samarjit Chakraborty

Browse the full SAFECOMP paper archive.