Observatorio de I+D+i UPM

Memorias de investigación
Estancias o Sabáticos:
Estancia de investigación en Dresden
Año:2011
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Realización investigación predoctoral en el departamento "Algebraic and Logic Foundations of Computer Science" en la facultad de informática de Technische Universität Dresden. El tema de investigación se enmarca en el área de Model Checking, más concretamente en el desarrollo de técnicas para la aplicación de reducciones de orden parcial en sistemas probabilístico.
Internacional
Si
Lugar
Dresde
Tipo
Miembros en el extranjero
Fecha inicio
01/10/2010
Fecha fin
03/08/2011
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Alvaro Fernandez Diaz (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 2022 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)