CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
In recent years, cyber-physical systems (CPS) are receiving a great deal of attention from society, especially in industrial environments, but this popularity has been accompanied ...




