Observatorio de I+D+i UPM

Memorias de investigación
Estancias o Sabáticos:
Estancia en el Basic Research In Computer Science (BRICS)
Año:2011
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Estudio de la correspondencia entre evaluadores composicionales y máquinas abstractas.
Internacional
Si
Lugar
Aarhus, Dinamarca
Tipo
Miembros en el extranjero
Fecha inicio
30/01/2011
Fecha fin
30/04/2011
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Alvaro Garcia Perez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)