Program in Methods for the Development of
Dependable, High-Quality, and Secure Software
(PROgrama en MÉtodos para el Desarrollo de
Software Fiable, de Alta Calidad y Seguro)
Internacional
No
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
Comunidad de Madrid
Nacionalidad Entidad
ESPAÑA
Tamaño de la entidad
Desconocido
Fecha concesión
Esta actividad pertenece a memorias de
investigación
Participantes
Director: Manuel de Hermenegildo Salinas (UPM)
Participante: Manuel Carro Liñares (UPM)
Participante: Samir Genaim . (UPM)
Participante: Purificación Arenas Sánchez (UPM)
Participante: Daniel Cabeza Gras (UPM)
Participante: Elvira Albert Albiol (UPM)
Participante: Alvaro German Puebla Sanchez (UPM)
Participante: Pawel Stanislaw Pietrzak . (UPM)
Participante: Nikolaus Guyon Swoboda (UPM)
Participante: Pedro Lopez Garcia (UPM)
Participante: Francisco Bueno Carrillo (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: Lenguajes y Sistemas Informáticos e Ingeniería de Software