Artículos en revistas:
Formal verification of safety protocol in train control system
Año:2011
Áreas de investigación
- Ingeniería mecánica, aeronaútica y naval
Datos
|
Descripción
|
|
|---|---|
| Formal verification of safety protocol in train control system | |
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
SCIENCE CHINA?TECHNOLOGICAL SCIENCES |
|
ISSN
|
1674-7321 |
|
Factor de impacto JCR
|
0,734 |
|
Información de impacto
|
|
|
Volumen
|
54 |
|
DOI
|
|
|
Número de revista
|
|
|
Desde la página
|
3078 |
|
Hasta la página
|
3090 |
|
Mes
|
SIN MES |
|
Ranking
|
|
Ver publicación en Archivo digital upm
Esta actividad pertenece a memorias de investigación
Participantes
- Autor: Jose Manuel Mera Sanchez de Pedro UPM
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: Grupo de Investigación: Tecnologías ferroviarias y simulación avanzada
- Departamento: Ingeniería Mecánica y de Fabricación