KIT | KIT-Bibliothek | Impressum | Datenschutz

Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems

Bebawy, Yosab; Guissouma, Houssem; Vander Maelen, Sebastian; Kröger, Janis; Hake, Georg; Stierand, Ingo; Fränzle, Martin; Sax, Eric; Hahn, Axel



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Institut für Biomedizinische Technik (IBT)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator KITopen-ID: 1000127965
Erschienen in 2020 International Conference on Computational Science and Computational Intelligence (CSCI), Las Vegas, United States, Dec 16, 2020 - Dec 18, 2020
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page