Leveraging Horn clause solving for compositional verification of PLC software

Dordrecht [u.a.] / Springer Science + Business Media B.V (2019) [Fachzeitschriftenartikel]

Discrete event dynamic systems
Band: 30
Seite(n): 1-24

Autorinnen und Autoren

Autorinnen und Autoren

Bohlender, Dimitri
Kowalewski, Stefan

Identifikationsnummern