Varela Vaca, Á. J., Rosado, D. G., Sánchez, L. E., Gómez López, M. T., Martínez Gasca, R., & Fernández Medina, E. (2021). CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems.

Varela Vaca, Ángel Jesús, David G. Rosado, Luis E. Sánchez, María Teresa Gómez López, Rafael Martínez Gasca, e Eduardo Fernández Medina. CARMEN: A Framework for the Verification and Diagnosis of the Specification of Security Requirements in Cyber-physical Systems. 2021.

Varela Vaca, Ángel Jesús, et al. CARMEN: A Framework for the Verification and Diagnosis of the Specification of Security Requirements in Cyber-physical Systems. 2021.