Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Martin Becker 0001' in GoogleThis author has not been identified. Look up 'Markus Neumair' in GoogleThis author has not been identified. Look up 'Alexander Söhn' in GoogleThis author has not been identified. Look up 'Samarjit Chakraborty' in Google

runs on WebDSL