Francesco Mercaldo, Fabio Martinelli, Antonella Santone. Timed Automata Networks for SCADA Attacks Real-Time Mitigation. In Ireneusz Czarnowski, Robert J. Howlett, Lakhmi C. Jain, editors, Intelligent Decision Technologies - Proceedings of the 14th KES-IDT 2022 Conference, Virtual Event / Rhodes, Greece, June 20-22, 2022. Volume 309 of Smart Innovation, Systems and Technologies, pages 549-559, Springer, 2022. [doi]
Abstract is missing.