Title:Enfoque basado en modelos para la detección y localización de errores en diagramas de actividad SySML utilizando redes de Petri e información de trazabilidad, caso de estudio: Framework HiLeS
Title:Metodología para calcular parámetros de tránsito a partir de información recogida por medio de nuevas tecnologías (drones), y su comprobación en la función flujo demora Akcelik