Ringvorlesung: Automatic Train Protection und Control Systems
Donnerstag, 23.05.2019, 16.30 Uhr
Ort : RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E2, B-IT, Raum 5053.2
Vortragender: Nils Nießen
Teil der UnRAVeL-Ringvorlesung „Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verifikation und Logik“