Semantic-driven modeling and reasoning for enhanced safety of cyber-physical systems

Leonard Petnga. Semantic-driven modeling and reasoning for enhanced safety of cyber-physical systems. PhD thesis, University of Maryland, College Park, MD, USA, 2016. [doi]

Abstract

Abstract is missing.