Login / Signup

Modeling, specification and construction of PLC-programs.

E. V. KuzminValery A. Sokolov
Published in: Autom. Control. Comput. Sci. (2014)
Keyphrases
  • provably correct
  • control system
  • formal specification
  • construction process
  • control program
  • real time
  • real world
  • modeling method
  • control flow
  • colored petri nets