On-the-fly conformance testing of safety PLC code using QuickCheck

(2019) [Beitrag zu einem Tagungsband]

[17th IEEE International Conference on Industrial Informatics, INDIN’19 Industrial Applications of Artificial Intelligence, INDIN, 2019-07-22 - 2019-07-25, Helsinki, Finland]

Autorinnen und Autoren

Autorinnen und Autoren

Khan, Adnan
Thönnessen, David
Fabian, Martin

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-04271