Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

Dmitrii Drozdov. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations. PhD thesis, Lulea University of Technology, Sweden, 2021. [doi]

Abstract

Abstract is missing.