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

Nellen, Johanna (Corresponding author); Driessen, Kai; Neuhäußer, Martin; Ábrahám, Erika; Wolters, Benedikt

Dordrecht [u.a.] : Springer Science + Business Media B.V (2016)
Journal Article

In: Information systems frontiers : ISF
Volume: 18
Issue: 5
Page(s)/Article-Nr.: 927-952

Identifier