Desarrollo de pruebas de señalización y guiado CBTC en líneas de metro
Análisis de fiabilidad y seguridad (RAMS) de software para sistemas ERTMS