KIT | KIT-Bibliothek | Impressum | Datenschutz

Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems

Zimmermann, Daniel 1; Reussner, Ralf H. 1
1 Karlsruher Institut für Technologie (KIT)


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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page