Kategorien
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 real application in the automotive industry. Check it out!