Books and further teaching materials
Schema della sezione
-
- Principles of Cyber-Physical Systems, Rajeev Alur, MIT Press, 2015
- Introduction to Embedded Systems: A CPS approach, free copy here
- André Platzer, Logical Foundations of Cyber-Physical Systems, Springer, Cham, 2018.
- Principle of Model Cheking, Baier, Katoen, MIT Press, 2008