EasyChair Smart Slide
A Formal Approach to Cyber-Physical Attacks
A Formal Approach to Cyber-Physical Attacks