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]

Authors

Polina Ovsiannikova

This author has not been identified. Look up 'Polina Ovsiannikova' in Google