Title:Koc - un repositorio de objetos de conocimiento para la enseñanza de la construcción soportado por herramientas para composición y auditoría / Repositorio de objetos de conocimiento para la enseñanza de la construcción soportado por herramientas para composición y auditoría
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