Docentpresentationer
On 14 oktober
-
Docentföreläsningar
onsdag 2020-10-14, 10.30
Medverkande: Docent lecture by Jana Tumova
Plats: Fantum and Zoom
2020-10-14T10:30:00.000+02:00 2020-10-14T10:30:00.000+02:00 Formal methods for autonomous systems (Docentföreläsningar) Fantum and Zoom (KTH, Stockholm, Sweden)Formal methods for autonomous systems (Docentföreläsningar)