Markus Neumair

Identifiers

• name variant Markus Neumair 0.60 · backfill

Papers (1)

1. Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles cs.SE · 2015 · author #2

Mentions

• 1506.07867 #2 · backfill · confidence 0.70 Markus Neumair

Frequent Coauthors

• Alexander S\"ohn 1 shared papers
• Martin Becker 1 shared papers
• Samarjit Chakraborty 1 shared papers