Markus Neumair

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

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