Métodos Formales en Ingeniería Informática (Con UAM y UPM)
Máster. Curso 2022/2023.
DISEÑO Y ANÁLISIS DE PROTOCOLOS DE SEGURIDAD - 609034
Curso Académico 2022-23
Datos Generales
- Plan de estudios: 066C - MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA (2018-19)
- Carácter: OPTATIVA
- ECTS: 6.0
SINOPSIS
COMPETENCIAS
ACTIVIDADES DOCENTES
Estructura
| Módulos | Materias |
|---|---|
| No existen datos de módulos o materias para esta asignatura. | |
Grupos
| Clases teóricas y/o prácticas | ||||
|---|---|---|---|---|
| Grupo | Periodos | Horarios | Aula | Profesor |
| Grupo A | 19/09/2022 - 16/12/2022 | JUEVES 17:00 - 20:00 | - | ALBERTO RUBIO GIMENO |