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

> Research article (2020 International Conference on Computational Science and Computational Intelligence (CSCI), 2020) · cited 19× · AI/ML

**Wikidata**: [openalex:W3118335850](https://www.wikidata.org/wiki/openalex:W3118335850)  
**Source**: https://4ort.xyz/entity/incremental-contract-based-verification-of-software-updates-for-safety-critical-cyber-physical-systems