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: Dr.-Ing. Hendrik Göttmann

Back to overview

Back to overview