Login / Signup
On construction and verification of PLC programs.
E. V. Kuzmin
Valery A. Sokolov
Published in:
Autom. Control. Comput. Sci. (2013)
Keyphrases
</>
symbolic execution
hardware designs
model checking
construction process
automatic programming
learning algorithm
verification method
neural network
case study
control system
fuzzy control
face verification
programming environment
false acceptance rate