Studentische Arbeiten
Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen
Typ der Arbeit:
Bachelor-Thesis
Bearbeitungsstand: Abgeschlossene Arbeiten
Arbeit abgeschlossen am: 28.05.2021
Betreuer*in: M.Sc. Hendrik Göttmann
