Studentische Arbeiten
Testen von Safety- und Liveness-Eigenschaften
Typ der Arbeit:
Bachelor-Thesis
Bearbeitungsstand: Abgeschlossene Arbeiten
Arbeit abgeschlossen am: 21.12.2017
Betreuer*in: Dr.-Ing. Lars Luthmann
Echtzeitsysteme
Typ der Arbeit:
Bachelor-Thesis
Bearbeitungsstand: Abgeschlossene Arbeiten
Arbeit abgeschlossen am: 21.12.2017
Betreuer*in: Dr.-Ing. Lars Luthmann