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“