Testing Safety PLCs Using QuickCheck

Piscataway, NJ / IEEE (2019) [Contribution to a book, Contribution to a conference proceedings]

2019 IEEE 15th International Conference on Automation Science and Engineering : (CASE) : August 22-26, 2019, Vancouver, BC, Canada / sponsored by IEEE Robotics and Automation Society ; CASE editorial board: editor-in-chief: Spiridon (Spyros) Reveliotis ; editors: Cappelleri, David; Dimarogonas, Dimos V.; Dotoli, Mariagrazia; Fanti, Maria Pia; LUTZ, Philippe; Seatzu, Carla; Xie, Xiaolan
Page(s): 1388-1393



Thönnessen, David
Smallbone, Nick
Fabian, Martin
Claessen, Koen
Kowalewski, Stefan