Studentische Arbeiten
Testen von Safety- und Liveness-Eigenschaften
Type of thesis:
Bachelor-Thesis
State: Abgeschlossene Arbeiten
Thesis closed on: 21.12.2017
Tutor: Dr.-Ing. Lars Luthmann
Real-Time Systems
Type of thesis:
Bachelor-Thesis
State: Abgeschlossene Arbeiten
Thesis closed on: 21.12.2017
Tutor: Dr.-Ing. Lars Luthmann