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

BIB
Yosab Bebawy, Houssem Guissouma, Sebastian Vander Maelen, Janis Kröger, Georg Hake, Ingo Stierand, Martin Fränzle, Eric Sax, Axel Hahn
The 2020 International Conference on Computational Science and Computational Intelligence (CSCI)
12 / 2020
conference
Step-Up!CPS
Software-Methoden und Technologien für Modulare Updates von Cyber-Physischen Systemen