Testing Safety PLCs Using QuickCheck

(2019) [Contribution to a conference proceedings]

[IEEE 15th International Conference on Automation Science and Engineering, CASE, 2019-08-22 - 2019-08-26, Vancouver, Canada]

Authors

Selected Authors

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

Identifier

  • REPORT NUMBER: RWTH-2019-04632