• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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