Model Checking for Data Anomaly Detection.

Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone

Browse the full KES paper archive.