"Anomaly detection in cyber-physical systems: A formal methods approach."

Austin Jones, Zhaodan Kong, Calin Belta (2014)

Details and statistics

DOI: 10.1109/CDC.2014.7039487

access: closed

type: Conference or Workshop Paper

metadata version: 2017-05-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics