Gastvortrag: Formal verification and learning of complex systems

Mittwoch, 23.05.2018, 10.15 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10

 

Vortragender: Alessandro Abate