85 citations · 387 across the 29 of their papers we have counts for
1 paper · 2 filters
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…