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!
Kategorien