Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.

Andrei Munteanu, Michele Pasqua, Massimo Merro

Browse the full ICSE paper archive.