most citedApproaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2015★ 2 cited

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

Martin Becker, Markus Neumair, Alexander Söhn +1

This paper describes the development and verification of a competitive parachute system for Micro Air Vehicles, in particular focusing on verification of the embedded software. We…