Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-04770-2 ISSN: 0302-9743 KITopen-ID: 1000096104 |
| Erschienen in | Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops,Toulouse, France, June 25–29, 2018. Ed.: M. Mazzara |
| Verlag | Springer Nature |
| Seiten | 506-511 |
| Serie | Lecture notes in computer science ; 11176 |
| Nachgewiesen in | Scopus Dimensions |