Меркальдо Франческо

Публикации в базе данных Math-Net.Ru

1. Model checking for real-time attack detection in water distribution systems
   
   Информатика и автоматизация, 21:2 (2022),  219–242