Memorias de investigación
Artículos en revistas:
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

Esta actividad pertenece a memorias de investigación

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