Verificación difusa en línea de sistemas de tiempo real y análisis de su incertidumbre Doktoregaia: Joaquín Pérez Márquez Urtea: 2015 Zuzendaria(k): Jaime Jiménez Verde
