Descripción
|
|
---|---|
Formal verification of safety protocol in train control system | |
Internacional
|
Si |
JCR del ISI
|
Si |
Título de la revista
|
SCIENCE CHINA?TECHNOLOGICAL SCIENCES |
ISSN
|
1674-7321 |
Factor de impacto JCR
|
0,734 |
Información de impacto
|
|
Volumen
|
54 |
DOI
|
|
Número de revista
|
|
Desde la página
|
3078 |
Hasta la página
|
3090 |
Mes
|
SIN MES |
Ranking
|