Media type: E-Book Title: Automated validation of minimum risk model-based system designs of complex avionics systems Contributor: Fischer, Nils [Verfasser]; Salzwedel, Horst [Akademischer Betreuer]; Zimmermann, Armin [Gutachter]; Wiegmann, Mark [Gutachter] imprint: Ilmenau: TU Ilmenau, 2017 Extent: Online-Ressource Language: English Identifier: Keywords: Avionics ; Risk ; Specifications ; Systementwurf ; Softwarespezifikation ; Modellierung ; Simulation ; Validierung ; Automation ; Flugzeugbau ; Flugzeugkabine Origination: University thesis: Dissertation, Ilmenau, TU Ilmenau, 2017 Footnote: Access State: Open Access