Cycle-Bounded Model Checking of PLC Software via Dynamic Large-Block Encoding

New York, NY / ACM (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

Applied computing 2018 : the 33rd Annual ACM Symposium on Applied Computing : Pau, France, April 9-13, 2018 / sponsored by: ACM Special Interest Group on Applied Computing ; conference chairs: Hisham M. Haddad (Kennesaw State University, USA), Roger L. Wainwright (University of Tulsa, USA), Richard Chbeir (University of Pau & Pays Adour, France)
Seite(n): 1891-1898

Autorinnen und Autoren

Autorinnen und Autoren

Bohlender, Dimitri
Hamm, Daniel
Kowalewski, Stefan

Identifikationsnummern