Memorias de investigación
Proyecto de I+D+i:
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
Año:2012
Áreas de investigación
-
Ingenierías
Datos
Descripción
|
Proyecto Tipo A (5 anyos) 2008-05624/TIN
|
Internacional
|
No |
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
Entidad financiadora
|
Miniterio de Ciencia |
Nacionalidad Entidad
|
ESPAÑA |
Tamaño de la entidad
|
Gran Empresa (>250) |
Fecha concesión
|
|
Esta actividad pertenece a memorias de
investigación
Participantes
- Director:
Manuel de Hermenegildo Salinas (UPM) - Participante:
Francisco Bueno Carrillo (UPM) - Participante:
Manuel Carro Liñares (UPM) - Participante:
Edison Fernando Mera Menéndez (UPM) - Codirector:
Nikolaus Guyon Swoboda (UPM) - Participante:
Remy Haemmerle . (UPM) - Participante:
Dragan Ivanovic . (UPM) - Participante:
Cesar Kunz . (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
- Departamento: Inteligencia Artificial