Observatorio de I+D+i UPM

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
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)