Achieving delta description of the control software for an automated production system evolution
Cha, S.; Weigl, A.
1; Ulbrich, M.
1; Beckert, B.
1; Vogel-Heuser, B.
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Ulbrich, M.
1; Beckert, B.
1; Vogel-Heuser, B.1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-5386-3593-3 ISSN: 2161-8070 KITopen-ID: 1000090658 |
| Erschienen in | 14th IEEE International Conference on Automation Science and Engineering, CASE 2018; Technical University MunichMunich; Germany; 20 August 2018 through 24 August 2018 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 1170-1176 |
| Serie | IEEE International Conference on Automation Science and Engineering ; 2018-August |
| Projektinformation | SPP 1593 (DFG, DFG KOORD, BE 2334/7-2) SPP 1593 (DFG, DFG KOORD, UL 433/1-2) |
| Nachgewiesen in | Dimensions Scopus |