Login
- Titel:
Automated Verification of State Machines in eVTOL Aircraft: A Lean Development Approach
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Bröcker, Johannes; Rupprecht, Tim A.; Huber, Evangelos; Holzapfel, Florian
- Kongress- / Buchtitel:
- AIAA AVIATION FORUM AND ASCEND 2024
- Verlag / Institution:
- American Institute of Aeronautics and Astronautics
- Publikationsdatum:
- 27.07.2024
- Jahr:
- 2024
- Volltext / DOI:
- doi:10.2514/6.2024-4426
BibTeX