KIT | KIT-Bibliothek | Impressum | Datenschutz

On the preservation of the trust by regression verification of plc software for cyber-physical systems of systems

Cha, S.; Ulbrich, M.; Weigl, A.; Beckert, B.; Land, K.; Vogel-Heuser, B.



Originalveröffentlichung
DOI: 10.1109/INDIN41052.2019.8972210
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-1-72812-927-3
KITopen-ID: 1000117429
Erschienen in IEEE International Conference on Industrial Informatics (INDIN), Helsinki/Espoo, Finland, July 22-25, July 22-25, 2019
Veranstaltung IEEE International Conference on Industrial Informatics (INDIN 2019), Helsinki, Finnland, 22.07.2019 – 25.07.2019
Verlag IEEE, Piscataway (NJ)
Seiten 413-418
Vorab online veröffentlicht am 30.01.2020
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page