Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems

Polina Ovsiannikova. Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems. PhD thesis, Aalto University, Espoo, Finland, 2023. [doi]

Abstract

Abstract is missing.