Title:”Scalable Set-based Analysis for Verification of Cyber-Physical Systems”
Speaker: Stanley Bak, Security Consultant of Safe Sky Analytics working with the FAA and Air Force.
Date and Time: Tuesday, July 9, 2019 at 10:00 a.m.
Location: Engineering Hall 2430