Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Bellas Artes
Desplegar navegación
Facultad
Gobierno
Organización
Servicios
Presentación
Recursos Humanos
Transparencia
Plan de Autoprotección
Protocolo actuación por accidente
Contacto
+
Titulaciones
Grado
Máster
Doctorado
+
Estudiantes
Horarios y exámenes
Calendarios
Secretaría
Guías Docentes
Becas / Cursos de verano
Salidas Profesionales
Plan de acogida
+
Investigación
Doctorado
Líneas de investigación
Grupos de investigación
Proyectos financiados
Biblioteca investiga
Revistas y publicaciones indexadas
Becas, convocatorias y novedades
+
Calidad
Movilidad
Convocatoria Estudiantes
Documentación Movilidad Erasmus
Convocatorias Profesores y P.A.S.
SICUE (Sistema de Intercambio entre Centros Universitarios Españoles)
Contacto
+
Cultura
Programación de actividades
Convocatorias
Emisiones en streaming
Proyectos
Info
Resoluciones de concursos / premios
Boletín Semanal Noticias Frescas
Histórico
Descargas
Alumni
De Par en Par
+
Portada
»
Estudios
»
Máster
»
Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science
Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science
Máster. Curso 2025/2026.
Centro responsable
:
Facultad de Informática
.
Coordinación
:
Albert Rubio Gimeno
.
Acceso y admisión
Créditos y Plazas
Detalles de la titulación
Web del Máster
Enlace externo
Pendiente de autorización de implantación de la Comunidad de Madrid
Díptico de la titulación
Leaflet in English
Qué tengo que hacer
Plazos
