On the preservation of the trust by regression verification of plc software for cyber-physical systems of systems
Cha, S.; Ulbrich, M.
1; Weigl, A.
1; Beckert, B.
1; Land, K.; Vogel-Heuser, B.
1 Karlsruher Institut für Technologie (KIT)
1; Weigl, A.
1; Beckert, B.
1; Land, K.; Vogel-Heuser, B.1 Karlsruher Institut für Technologie (KIT)
| 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 | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 413-418 |
| Vorab online veröffentlicht am | 30.01.2020 |
| Nachgewiesen in | Dimensions Scopus |
| Globale Ziele für nachhaltige Entwicklung |