Integration of a formal specification approach into CPPS engineering workflow for machinery validation
Vogel-Heuser, Birgit; Huber, Christoph; Cha, Suhyun; Beckert, Bernhard
1
1 Karlsruher Institut für Technologie (KIT)
11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 21.07.2021 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-72814-395-8 KITopen-ID: 1000175559 |
| Erschienen in | 2021 IEEE 19th International Conference on Industrial Informatics (INDIN) |
| Veranstaltung | IEEE International Conference on Industrial Informatics (INDIN 2021), Palma de Mallorca, Spanien, 21.07.2021 – 23.07.2021 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 1–8 |
| Nachgewiesen in | Dimensions Scopus |