- idUS
- Browsing by Author
Browsing by Author "Sánchez, Luis E."
Now showing items 1-1 of 1
-
Article
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis E.; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Elsevier, 2021)In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ...