Login
- Title:
Automated Verification of State Machines in eVTOL Aircraft: A Lean Development Approach
- Document type:
- Konferenzbeitrag
- Author(s):
- Bröcker, Johannes; Rupprecht, Tim A.; Huber, Evangelos; Holzapfel, Florian
- Book / Congress title:
- AIAA AVIATION FORUM AND ASCEND 2024
- Publisher:
- American Institute of Aeronautics and Astronautics
- Date of publication:
- 27.07.2024
- Year:
- 2024
- Fulltext / DOI:
- doi:10.2514/6.2024-4426
BibTeX