Real-Time SCADA Attack Detection by Means of Formal Methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Mercaldo, Fabio Martinelli, Antonella Santone. Real-Time SCADA Attack Detection by Means of Formal Methods. In Sumitra Reddy, editor, 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019. pages 231-236, IEEE, 2019. [doi]

This author has not been identified. Look up 'Francesco Mercaldo' in GoogleThis author has not been identified. Look up 'Fabio Martinelli' in GoogleThis author has not been identified. Look up 'Antonella Santone' in Google

runs on WebDSL