Title:Bases de diseño de un sistema educativo inteligente para ejercitar y promover el desarrollo de habilidades básicas del racionamiento lógico-deductivo natural
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