Login / Signup
Extending the verification coverage for PLC control programs: A functional safety approach.
Cleber A. Sarmento
Diolino J. Santos Filho
Paulo E. Miyagi
Published in:
IECON (2012)
Keyphrases
</>
control system
control structures
functional verification
safety analysis
neural network
database
control method
control structure
data sets
fuzzy model
control theory
formal verification
control program
control center
hardware designs