Protected: Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule

Authors Daniel Bujosa Mateu | Sergi Arguimbau Guarinos | Patricia Arguimbau Guarinos | Julián Proenza Arenas | Manuel Alejandro Barranco González
In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 2019.


This content is password protected. To view it please enter your password below:

RELATED PROJECTS

Uso de cookies

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR
Aviso de cookies