Memorias de investigación
Research Publications in journals:
Formal verification of safety protocol in train control system
Year:2011
Research Areas
Information
Abstract
International
Si
JCR
No
Title
SCIENCE CHINA-TECHNOLOGICAL SCIENCES
ISBN
1674-7321
Impact factor JCR
Impact info
Volume
54
10.1007/s11431-011-4562-2
Journal number
11
From page
3078
To page
3090
Month
Ranking
Participants
  • Autor: . zhang yan
  • Autor: . tang tao
  • Autor: . li keping
  • Autor: jose manuel mera UPM
  • Autor: . zhu li
  • Autor: . zhao lin
  • Autor: . xu tianhua
Research Group, Departaments and Institutes related
  • Creador: No seleccionado
  • Departamento: Ingeniería Mecánica y de Fabricación