SGIC Master Métodos Formales en Ingeniería Informática (UCM,UPM)
VERIFICACIÓN
- Memoria de verificación vigente (2025)
- Informe Fundación para el Conocimiento
- Publicación BOE Plan de Estudios
- Enlace RUCT
- Enlace Fundación para el Conocimiento madri+d
SEGUIMIENTO / ACREDITACIÓN
- No aplica, nueva implantación
SISTEMA DE GARANTÍA INTERNO DE CALIDAD
- Sistema de garantía interno de calidad del Máster en Métodos Formales en Ingeniería Informática
MEJORAS IMPLANTADAS COMO CONSECUENCIA DEL DESPLIEGUE DEL SGIC
- No aplica, nueva implantación
ENCUESTAS DE SATISFACCIÓN
| Estudiantes | Profesores | Otras | |
| 2025/2026 | - | - | - |