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

Seitenaufrufe: 12
seit 23.12.2020

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