Observatorio de I+D+i UPM

Memorias de investigación
Stays or Sabbaticals:
Estancia de investigación en Dresden
Year:2011
Research Areas
  • Information technology and adata processing
Information
Abstract
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.
International
Si
Place
Dresde
Type
Miembros en el extranjero
Start Date
01/10/2010
End Date
03/08/2011
Participants
  • Autor: Alvaro Fernandez Diaz (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2020 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)