Identifícate

Grupos Investigadores/as Resultados

Departamento

Sistemas Informáticos y Computación

Detalle Investigadores/as Grupos Proyectos Publicaciones Colaboración Tesis Patentes

Grupos de investigación

Complutense Group on Program Analyis and Transformation
Design and Testing of Reliable Systems
Diseño y análisis formal de sistemas de software

Contactar
Aviso Legal
Ayuda

es ca eu gl en fr de

Investigación en la UCM

Condiciones y elaboración
Facultades
Departamentos
Biblioteca Complutense
Docta Complutense
Servicio de Investigación
Servicio de Administración de Personal Investigador
Escuela de Doctorado
Servicio de Tesis Doctorales
OTRI
Ediciones Complutense
Compluemprende

UCM en la Red

Instagram
Youtube
Facebook
Twitter

LinkedIN
ResearchGate
Google Scholar

Fecha de última actualización de datos: 07-11-2024

Los documentos del portal se actualizan diariamente. Esta fecha hace referencia a la actualización de la información relacionada con la estructura del portal (personas, grupos de investigación, unidades organizativas, proyectos...).

Proyecto CRIS desarrollado en colaboración con la Fundación Dialnet (Universidad de La Rioja)