Abgeschlossene Arbeiten

Studentische Arbeiten

Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen

Type of thesis: Bachelor-Thesis
State: Abgeschlossene Arbeiten
Thesis closed on: 28.05.2021
Tutor: M.Sc. Hendrik Göttmann

Back to overview

Back to overview