Mercaldo Francesco

Publications in Math-Net.Ru

1. Model checking for real-time attack detection in water distribution systems
   
   Informatics and Automation, 21:2 (2022),  219–242