root.skip-to-content
Comunidades
Todo idUS
Estadísticas
Sobre idUS
Español
English
Iniciar sesión
Iniciar sesión
¿Nuevo Usuario? Regístrate.
¿Has olvidado tu contraseña?
Inicio
Investigación
Ingeniería y Arquitectura
Lenguajes y Sistemas Informáticos
Artículos (Lenguajes y Sistemas Informáticos)
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
