Login / Signup

Two CEGAR-based approaches for the safety verification of PLC-controlled plants.

Johanna NellenKai DriessenMartin R. NeuhäußerErika ÁbrahámBenedikt Wolters
Published in: Inf. Syst. Frontiers (2016)
Keyphrases
  • strengths and weaknesses
  • control system
  • database
  • real time
  • data sets
  • multi agent systems
  • probabilistic model