Login / Signup
Two CEGAR-based approaches for the safety verification of PLC-controlled plants.
Johanna Nellen
Kai Driessen
Martin R. Neuhäußer
Erika Ábrahám
Benedikt Wolters
Published in:
Inf. Syst. Frontiers (2016)
Keyphrases
</>
strengths and weaknesses
control system
database
real time
data sets
multi agent systems
probabilistic model