A Survey on Applications of Formal Methods in Analysis of SCADA Systems.

Mihael Marovic, Ante Derek, Stjepan Gros

Browse the full CRITIS paper archive.