Login / Signup

Formal verification of function blocks applied to IEC 61131-3.

Linna PangChen-Wei WangMark LawfordAlan Wassyng
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • formal verification
  • artificial intelligence
  • digital images
  • model checking
  • fractal image coding