Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction

Laxenburg (2018) [Contribution to a conference proceedings, Journal Article]

IFAC-PapersOnLine
Volume: 51
Issue: 7
Page(s): 428-433

Authors

Authors

Bohlender, Dimitri
Kowalewski, Stefan

Identifier