Verificación difusa en línea de sistemas de tiempo real y análisis de su incertidumbre Doctorando/a: Joaquín Pérez Márquez Año: 2015 Personas encargadas de la dirección: Jaime Jiménez Verde
