Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
VERA: Técnicas avanzadas de verificación de aplicaciones concurrentes
Año:2015
Áreas de investigación
Datos
Descripción
Internacional
No
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
Nacionalidad Entidad
Sin nacionalidad
Tamaño de la entidad
Fecha concesión
28/12/2012
Esta actividad pertenece a memorias de investigación
Participantes
  • Participante: Alvaro German Puebla Sanchez (UPM)
  • Participante: Michael Codish .
  • Participante: José Miguel Rojas Siles (UPM)
  • Participante: Roberto Giacobazzi .
  • Participante: Guillermo Roman Diez (UPM)
  • Participante: Andy King .
  • Participante: Laura Bozzelli (UPM)
  • Participante: Md. Abu Naser Masud (UPM)
  • Director: Damiano Zanardini (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: No seleccionado
  • Departamento: Inteligencia Artificial
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 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)