Studentische Arbeiten
Translating OCL into Clafer
Typ der Arbeit:
Master-Thesis
Bearbeitungsstand: Abgeschlossene Arbeiten
Arbeit abgeschlossen am: 10.08.2021
Betreuer*in: M.Sc. Hendrik Göttmann
Echtzeitsysteme
Typ der Arbeit:
Master-Thesis
Bearbeitungsstand: Abgeschlossene Arbeiten
Arbeit abgeschlossen am: 10.08.2021
Betreuer*in: M.Sc. Hendrik Göttmann