Memorias de investigación
Research Project:
MERIT
Year:2007

Research Areas
  • Artificial intelligence

Information
Abstract
Rigorous Methods for Mobile and Heterogeneous Software Systems (MÉtodos RIgurosos para sistemas software heTerogéneos y móviles)
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Ministerio de Educación y Ciencia
Entity Nationality
ESPAÑA
Entity size
Desconocido
Granting date
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Departamento: Inteligencia Artificial