CARMEN: A framework for the verification and diagnosis of the specification of security requirements in Cyber-physical systems
(Artículo ya publicado)
Palabras Clave:
Configuration models - Cyber-physical system - cybersecurity - Diagnosis - security - Security requirements - Security verification
Handle:
11705/JCIS/2022/016Descargas:
Acceso a los detalles haciendo click aquí.