Ding, Kai
[Author]
;
Janschek, Klaus
[Degree supervisor];
Rauzy, Antoine
[Degree supervisor]Technische Universität Dresden
Zuverlässigkeitsorientierter Entwurf und Analyse von Steuerungssystemen auf Modellebene unter zufälligen Hardwarefehlern
= Dependability-oriented Design and Analysis of Control Systems at the Model Level under Random Hardware Faults