Observatorio de I+D+i UPM

Descripción
Rigorous Methods for Mobile and Heterogeneous Software Systems (MÉtodos RIgurosos para sistemas software heTerogéneos y móviles)
Internacional	No
Tipo de proyecto	Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora	Ministerio de Educación y Ciencia
Nacionalidad Entidad	ESPAÑA
Tamaño de la entidad	Desconocido
Fecha concesión

Esta actividad pertenece a memorias de investigación

• Participante: Alvaro German Puebla Sanchez (UPM)
• Participante: Claudio Julio Gabriel Ochoa (UPM)
• Participante: Edison Fernando Mera Menéndez (UPM)
• Participante: Pedro Lopez Garcia (UPM)
• Participante: Manuel Carro Liñares (UPM)
• Participante: David Trallero Mena (UPM)
• Participante: Pawel Stanislaw Pietrzak . (UPM)
• Participante: Francisco Bueno Carrillo (UPM)
• Director: Manuel de Hermenegildo Salinas (UPM)
• Participante: Jose Francisco Morales Caballero (UPM)
• Participante: Daniel Cabeza Gras (UPM)
• Participante: Nikolaus Guyon Swoboda (UPM)

• 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