Verificación difusa en línea de sistemas de tiempo real y análisis de su incertidumbre Doctoral student: Perez Marquez, Joaquin Year: 2015 Description: Department: Tecnología electrónica