Studentische Arbeiten
Translating OCL into Clafer
Type of thesis:
Master-Thesis
State: Abgeschlossene Arbeiten
Thesis closed on: 10.08.2021
Tutor: Dr.-Ing. Hendrik Göttmann
Real-Time Systems
Type of thesis:
Master-Thesis
State: Abgeschlossene Arbeiten
Thesis closed on: 10.08.2021
Tutor: Dr.-Ing. Hendrik Göttmann