![](/img/cover-not-exists.png)
[IEEE 2011 IEEE/AIAA 30th Digital Avionics Systems Conference (DASC) - Seattle, WA, USA (2011.10.16-2011.10.20)] 2011 IEEE/AIAA 30th Digital Avionics Systems Conference - Using formal methods to verify safe deep stall landing of a MAV
Pointner, Wolfgang, Kotsis, Gabriele, Langthaler, Peter, Naderhirn, MichaelYear:
2011
Language:
english
DOI:
10.1109/dasc.2011.6096251
File:
PDF, 2.30 MB
english, 2011