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) [Fachzeitschriftenartikel]

Information systems frontiers : ISF
Band: 18
Ausgabe: 5
Seite(n): 927-952

Identifikationsnummern