Login / Signup

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

Andrei MunteanuMichele PasquaMassimo Merro
Published in: FormaliSE@ICSE (2020)
Keyphrases