Behavioral validation in Cyber-physical systems: Safety violations and beyond

Manish Goyal 0002. Behavioral validation in Cyber-physical systems: Safety violations and beyond. PhD thesis, University of North Carolina, Chapel Hill, USA, 2022. [doi]

Abstract

Abstract is missing.