CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

Article

Abstract: In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention espec

Palabras claves:

Configuration models, Cyber-physical system, CYBERSECURITY, diagnosis, security, Security requirements, Security verification

Autores:

Fernandez-Medina E., Gasca R.M., Gómez-López M.T., Luis Enrique Sánchez Crespo, Rosado D.G., Varela-Vaca Á.J.

Fuentes:

scopus