Abgeschlossene Arbeiten

Studentische Arbeiten

Statistisches Model-Checking von echtzeitfähigen Automaten für dynamische Software-Produktlinien

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

Back to overview

Back to overview