Beca en proyectos de investigación. Herramientas de diseño para sistemas críticos. Más información Aquí