Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production

Grochowski, Marco (Corresponding author); Völker, Marcus; Kowalewski, Stefan

Cham : Springer (2022)
Contribution to a book, Contribution to a conference proceedings

In: Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman
Page(s)/Article-Nr.: 137-154