Online Model Checking for Anomaly Detection in Industrial Control Systems.

Douglas Fraser, Alice Miller, Marco M. Cook, Dimitrios Pezaros

Browse the full IFM paper archive.