Artículos en revistas:
Formal verification of safety protocol in train control system
Formal verification of safety protocol in train control system
Año:2011
Áreas de investigación
Datos
|
Descripción
|
|
|---|---|
|
Internacional
|
Si |
|
JCR del ISI
|
No |
|
Título de la revista
|
SCIENCE CHINA-TECHNOLOGICAL SCIENCES |
|
ISSN
|
1674-7321 |
|
Factor de impacto JCR
|
|
|
Información de impacto
|
|
|
Volumen
|
54 |
|
DOI
|
10.1007/s11431-011-4562-2 |
|
Número de revista
|
11 |
|
Desde la página
|
3078 |
|
Hasta la página
|
3090 |
|
Mes
|
|
|
Ranking
|
|
Participantes
- Autor: . zhang yan
- Autor: . tang tao
- Autor: . li keping
- Autor:
jose manuel mera (UPM) - Autor: . zhu li
- Autor: . zhao lin
- Autor: . xu tianhua
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: No seleccionado
- Departamento: Ingeniería Mecánica y de Fabricación
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)