Login / Signup
Alexander Söhn
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Decision Making
Data Sets
Strengths And Weaknesses
Top Venues
CoRR
SAFECOMP Workshops
</>
Publications
</>
Martin Becker
,
Markus Neumair
,
Alexander Söhn
,
Samarjit Chakraborty
Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles.
SAFECOMP Workshops
(2015)
Martin Becker
,
Markus Neumair
,
Alexander Söhn
,
Samarjit Chakraborty
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles.
CoRR
(2015)