A Trusted Safety Verifier for Process Controller Code.

Stephen E. McLaughlin Saman A. Zonouz Devin J. Pohly Patrick D. McDaniel

Published in: NDSS (2014)

Keyphrases

open source
database
data sets
data mining
artificial intelligence
website
control system
data flow
adaptive control