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

Martin Becker 0001, Markus Neumair, Alexander Söhn, Samarjit Chakraborty. Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Volume 9338 of Lecture Notes in Computer Science, pages 369-385, Springer, 2015. [doi]

Abstract

Abstract is missing.