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

(2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

[17th IEEE International Conference on Industrial Informatics, INDIN 2019, 2019-07-22 - 2019-07-25, Helsinki, Finland]
Seite(n): 419-424

Autorinnen und Autoren

Autorinnen und Autoren

Khan, Adnan
Thönnessen, David
Fabian, Martin

Identifikationsnummern