Related Courses
Links to courses using this book
- Verification of CPS Spring 2025, at UIUC; offered by Huan Zhang
- Verification of Cyber-Physical Systems 2021, at University of Konstanz; offered by Stefan Leue
- Verifying Embedded and Cyber-Physical Systems Fall 21, at University of Illinois, Urbana-Champaign, by Sayan Mitra
- Formal Modelling and Analysis of Cyber-Physical Systems 2021-22, at the Indian Institute of Technology, Guwahati; offered by Purandar Bhaduri and S. Ramesh
- Satish Gopalakrishnan’s course (https://ece.ubc.ca/sathish-gopalakrishnan/)
Email with a link to your course for it to be added here.