Métodos formales para verificar los nuevos desarrollos en sistemas de transporte

El acelerado desarrollo de los sistemas ciber-físicos modernos y el incremento en la complejidad de su diseño y análisis, requiere nuevas tecnologías para realizar los procesos de verificación e integración. Debido a la base matemática que los sustenta y al incremento constante en la efectividad de...