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

In: Information systems frontiers : ISF
Band: 18
Heft: 5
Seite(n)/Artikel-Nr.: 927-952

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]