Title:Proyecto Lambda - hacia un framework de implementación y ejecución de máquinas abstractas generadas a partir de un lenguaje de propósito específico
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