Formal Requirements Analysis and Specification-Based Testing in Cyber-Physical Systems

Simone Vuotto. Formal Requirements Analysis and Specification-Based Testing in Cyber-Physical Systems. PhD thesis, University of Genoa, Italy, 2021. [doi]

Abstract

Abstract is missing.