A model-based mutation framework for IEC61131-3 manufacturing systems [Modellbasiertes Mutation-Framework für IEC61131-3 Fertigungssysteme]
Rosiak, Kamil; Linsbauer, Lukas; Vogel-Heuser, Birgit; Schaefer, Ina
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 25.05.2023 |
| Sprache | Englisch |
| Identifikator | ISSN: 0178-2312, 2196-677X KITopen-ID: 1000159103 |
| Erschienen in | at - Automatisierungstechnik |
| Verlag | De Gruyter |
| Band | 71 |
| Heft | 5 |
| Seiten | 380–390 |
| Vorab online veröffentlicht am | 08.05.2023 |
| Nachgewiesen in | Dimensions Web of Science Scopus |