Studentische Arbeiten
Statistisches Model-Checking von echtzeitfähigen Automaten für dynamische Software-Produktlinien
Typ der Arbeit:
Master-Thesis
Bearbeitungsstand: Abgeschlossene Arbeiten
Arbeit abgeschlossen am: 28.05.2021
Betreuer*in: M.Sc. Hendrik Göttmann
