KIT | KIT-Bibliothek | Impressum | Datenschutz

Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems

Zimmermann, Daniel; Reussner, Ralf H.



Originalveröffentlichung
DOI: 10.1007/978-3-030-04771-9_36
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 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 Switzerland AG, Cham, CH
Seiten 506-511
Serie Lecture notes in computer science ; 11176
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page