Grupo Alarcos · Conference paper · 2022
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in Cyber-physical systems (journal first)
Ángel Jesús Varela-Vaca, David García Rosado, Luis Enrique Sánchez Crespo, Maria Teresa Gomez-Lopez, Rafael Martínez Gasca, Eduardo Fernández-Medina Patón