Dates

Friday, April 01, 2022 - 02:40pm to Friday, April 01, 2022 - 03:40pm

Location

NCS 120

Event Title

PhD Seminar, Stanley Bak: 'Formal Verification Methods for Cyber-Physical Systems and Neural Networks'