[HTML][HTML] CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream
attention especially in industrial environments, but this popularity has been accompanied by …
attention especially in industrial environments, but this popularity has been accompanied by …
CARMEN:: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
ÁJ Varela-Vaca, DG Rosado, LE Sánchez… - 2021 - dl.acm.org
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream
attention especially in industrial environments, but this popularity has been accompanied by …
attention especially in industrial environments, but this popularity has been accompanied by …