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

Varela-Vaca, Ángel Jesús ; G. Rosado, David; Sánchez, Luis E.; Gómez-López, María Teresa; M. Gasca, Rafael; Fernández-Medina, Eduardo

Tipo: Artículo
Año de Publicación: 2021
Volumen: 132
Número de artículo: 103524
Acceso abierto: Vía híbrida
Fuente Nº Citas Fecha Actualización
scopus124-09-2022
wos024-09-2022
Dimensions
PlumX
Altmetric

Año: 2021

Journal Impact Factor (JIF): 11.245

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONSSCIE5/113Q1T1D1

Año: 2021

Journal Citation Indicator (JCI): 1,830

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS15/157Q1T1D190,76

Año:

2021

CiteScore:

16.900

CategoríaPosiciónCuartilTercilDecil
Computer Science (all)7/231Q1T1D1
Engineering (all)3/300Q1T1D1

SJR año:

2021

Factor de Impacto:

2.427

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)12/302Q1T1D1
Engineering (miscellaneous)11/406Q1T1D1
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
project AETHER-UCLM (Ministerio de Ciencia e Innovacion)PID2020-112540RB-C42
project AETHER-USPID2020-11254ORB-C44/AEI/10.13039/501100011033
project COPERNICA (Consejeria de Transformacion Economica, Industria, Conocimiento y Universidades, Junta de Andalucia)P20_01224
project GENESIS (Consejeria de Educacion, Cultura y Deportes, Junta de Comunidades de Castilla La Mancha, Fondo Europeo de Desarrollo Regional FEDER)SBPLY/17/180501/000202
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Varela-Vaca, Ángel Jesús Universidad de Sevilla (Spain)
2G. Rosado, DavidUniversidad de Castilla-La Mancha (Spain)
3Sánchez, Luis E.Universidad de Castilla-La Mancha (Spain)
4Gómez-López, María TeresaUniversidad de Sevilla (Spain)
5M. Gasca, RafaelUniversidad de Sevilla (Spain)
6Fernández-Medina, EduardoUniversidad de Castilla-La Mancha (Spain)