RUS
ENG
Full version
PEOPLE
Santone Antonella
Publications in Math-Net.Ru
Model checking for real-time attack detection in water distribution systems
Informatics and Automation
,
21
:2 (2022),
219–242
©
Steklov Math. Inst. of RAS
, 2024