Leveraging Horn clause solving for compositional verification of PLC software

Bohlender, Dimitri (Corresponding author); Kowalewski, Stefan

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

In: Discrete event dynamic systems
Volume: 30
Page(s)/Article-Nr.: 1-24

Identifier