Two CEGAR-based approaches for the safety verification of PLC-controlled plants
Crossref DOI link: https://doi.org/10.1007/s10796-016-9671-9
Published Online: 2016-07-11
Published Print: 2016-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nellen, Johanna
Driessen, Kai
Neuhäußer, Martin
Ábrahám, Erika
Wolters, Benedikt
Text and Data Mining valid from 2016-07-11
Version of Record valid from 2016-07-11
Article History
First Online: 11 July 2016