%0
Generic
%T
Automated validation of minimum risk model-based system designs of complex avionics systems
%A Fischer, Nils
%A Salzwedel, Horst
%A Zimmermann, Armin
%A Wiegmann, Mark
%I TU Ilmenau
%K Avionics
%K Risk
%K Specifications
%K Systementwurf
%K Softwarespezifikation
%K Modellierung
%K Simulation
%K Validierung
%K Automation
%K Flugzeugbau
%K Flugzeugkabine
%D 2017
%C TU Ilmenau
%C Ilmenau
%U http://slubdd.de/katalog?TN_libero_mab2