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: 278
seit 23.12.2020

Zugehörige Institution(en) am KIT	Institut für Biomedizinische Technik (IBT) Institut für Technik der Informationsverarbeitung (ITIV)
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
Veranstaltung	International Conference on Computational Science and Computational Intelligence (CSCI 2020), Las Vegas, NV, USA, 16.12.2020 – 18.12.2020
Externe Relationen	Konferenz