Links to courses using this book

• 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
• Verification of Cyber-Physical Systems 2021, at University of Konstanz; offered by Stefan Leue

Email with a link to your course for it to be added here.