A Firmware Verification Tool for Programmable Logic Controllers.

Lucille McMinn Jonathan Butts

Published in: Critical Infrastructure Protection (2012)

Keyphrases

programmable logic
case study
operating system
power consumption
control system
neural network
image processing
feature extraction
reinforcement learning
probabilistic model
computer systems