Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction

Laxenburg (2018) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

IFAC-PapersOnLine
Band: 51
Ausgabe: 7
Seite(n): 428-433

Autorinnen und Autoren

Autorinnen und Autoren

Bohlender, Dimitri
Kowalewski, Stefan

Identifikationsnummern