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

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

Cham : Springer (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

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
Seite(n)/Artikel-Nr.: 137-154

Einrichtungen

  • Internet of Production [080067]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 11 (Embedded Software) [122810]

Identifikationsnummern