On June 1, 2016, the 4th SFB 901 seminar in the summer semester will take place.
16:00 - 18:00
Title: Verifying the Completion Time of Hardware Services
Speaker: Prof. Dr. Marco Platzner & Tobias Wiersema (TP B4)