Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study
| Title: | Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study |
|---|---|
| Authors: | Lanzani, IsabellaAff8; Perfetti, LucaAff9; Uliano, LucaAff9 |
| Contributors: | Goos, Gerhard, Founding EditorAff1; Hartmanis, Juris, Founding EditorAff2; Bertino, Elisa, Series EditorAff3; Gao, Wen, Series EditorAff4; Steffen, Bernhard, Series EditorAff5; Yung, Moti, Series EditorAff6; Katsaros, Panagiotis, editorAff7 |
| Source: | Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings. 15755:18-32 |
| Database: | Springer Nature eBooks |