Gaukler, Maximilian
[Author]
;
Roppenecker, Günter
[Degree supervisor];
Roppenecker, Günter
[Other];
Ulbrich, Peter
[Other];
Konigorski, Ulrich
[Other]FAU University Press ein Imprint der Universität Erlangen-Nürnberg Universitätsbibliothek
Safety Verification of Real-Time Control Systems with Flexible Timing