Title:Visitas guiadas dinámicas, adaptativas, de múltiples lugares y no lineales - creación, recorrido y seguimiento según las restricciones del experto y las preferencias del visitador
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