Testing Safety PLCs Using QuickCheck

(2019) [Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-04632