Observatorio de I+D+i UPM

Memorias de investigación
Other publications:
Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
Year:2007
Research Areas
  • Programming language
Information
Abstract
Technical Report
International
Si
Entity
UPM
Place
Madrid
Pages
Reference/URL
CLIP4/2007.0
Publication type
Technical Report
Participants
  • Autor: James Lipton (CLIP)
  • Autor: Elvira Albert Albiol (UPM)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: José Francisco Morales Caballero (UPM)
  • Autor: Jesus Correas Fernandez (UPM)
  • Autor: Alvaro German Puebla Sanchez (UPM)
  • Autor: Edison Fernando Mera Menéndez (UPM)
  • Autor: Purificación Arenas Sánchez (UPM)
  • Autor: Alberto Garcia Panoso (CLIP)
  • Autor: Daniel Cabeza Gras (UPM)
  • Autor: Claudio Julio Gabriel Ochoa (UPM)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Pedro Lopez Garcia (UPM)
  • Autor: Astrid Beascoa Tomás (UPM)
  • Autor: Francisco Bueno Carrillo (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 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)