Login / Signup
Using high-level synthesis and formal analysis to predict and preempt attacks on industrial control systems.
Lee W. Lerner
Zane R. Franklin
William T. Baumann
Cameron D. Patterson
Published in:
FPGA (2014)
Keyphrases
</>
formal analysis
high level synthesis
control system
industrial automation
formal methods
agent model
parallel architecture
ban logic
machine learning
design space exploration
search algorithm
object oriented
software engineering
agent architecture