Timely Flare Initiation during Automatic Landing – A Model Checking Application Example (English)
- New search for: Kügler, Martin E.
- New search for: Rhein, Julian
- New search for: Holzapfel, Florian
- New search for: Kügler, Martin E.
- New search for: Rhein, Julian
- New search for: Holzapfel, Florian
In:
AIAA Scitech 2019 Forum
;
2019
- Conference paper / Electronic Resource
-
Title:Timely Flare Initiation during Automatic Landing – A Model Checking Application Example
-
Contributors:
-
Conference:AIAA Scitech 2019 Forum
-
Published in:
-
Publisher:
- New search for: The American Institute of Aeronautics and Astronautics
-
Publication date:2019-01-01
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source: