Archive

Master thesis presentation

I found again my presentation on my master thesis from 2011. It was about „Prüfung intervallbasierter automobiler Konfigurationsdaten“. This topic combined my interest for logic, theoretical computer science with a…