Long-term on-chip verification of systems with logical events scattered in time

Viejo, J. ; Villar, J. I.; Juan, J.; Millán Calderón, Alejandro; Ostúa, E.; Quirós, J.

Tipo: Artículo
Año de Publicación: 2012
Volumen: 36
Número: 5
Páginas: 402 - 408
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus321-05-2022
wos321-05-2022
Dimensions
PlumX
Altmetric

Año: 2012

Journal Impact Factor (JIF): 0.549

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSSCIE74/100Q3T3D8
COMPUTER SCIENCE, HARDWARE & ARCHITECTURESCIE39/50Q4T3D8
ENGINEERING, ELECTRICAL & ELECTRONICSCIE189/243Q4T3D8

Año: 2017

Journal Citation Indicator (JCI): 0,490

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE43/57Q4T3D825,44
COMPUTER SCIENCE, THEORY & METHODS89/132Q3T3D732,95
ENGINEERING, ELECTRICAL & ELECTRONIC176/306Q3T2D642,65

Año:

2012

CiteScore:

1.700

CategoríaPosiciónCuartilTercilDecil
Computer Networks and Communications112/206Q3T2D6
Hardware and Architecture81/136Q3T2D6
Artificial Intelligence91/145Q3T2D7
Software226/364Q3T2D7

SJR año:

2012

Factor de Impacto:

0.214

CategoríaPosiciónCuartilTercilDecil
Computer Networks and Communications140/203Q3T3D7
Hardware and Architecture86/120Q3T3D8
Software241/324Q3T3D8
Artificial Intelligence121/148Q4T3D9
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
European Regional Development Fund (ERDF)-
Ministry of Education and Science of the Spanish GovernmentTEC2007-61802/MIC
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Viejo, J. Universidad de Sevilla (Spain)
2Villar, J. I.Universidad de Sevilla (Spain)
3Juan, J.Universidad de Sevilla (Spain)
4Millán Calderón, AlejandroUniversidad de Sevilla (Spain)
5Ostúa, E.Universidad de Sevilla (Spain)
6Quirós, J.Universidad de Sevilla (Spain)