Memorias de investigación
Research Publications in journals:
Formal verification of safety protocol in train control system
Year:2011

Research Areas
  • Mechanical aeronautics and naval engineering

Information
Abstract
Formal verification of safety protocol in train control system
International
Si
JCR
Si
Title
SCIENCE CHINA?TECHNOLOGICAL SCIENCES
ISBN
1674-7321
Impact factor JCR
0,734
Impact info
Volume
54
Journal number
From page
3078
To page
3090
Month
SIN MES
Ranking
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Tecnologías ferroviarias y simulación avanzada
  • Departamento: Ingeniería Mecánica y de Fabricación