PhD Seminar • Formal Methods | Software Engineering • Towards Formal Analysis of Parametric Cooperative Cyber-Physical Systems
Please note: This PhD seminar will take place online.
Raniah Alghamdi, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Richard Trefler