Verificación difusa en línea de sistemas de tiempo real y análisis de su incertidumbre
Tesis doctoral de Joaquin Perez Marquez Esta tesis presenta el leguaje de especificación ftl-cfree, que extiende la lógica temporal con […]
Tesis doctoral de Jaime Jimenez Verde
Información academica Jaime Jimenez Verde. Tesis donde Jaime Jimenez Verde ha sido autor, director o parte del tribunal.
Paso a aislamiento de microrredes: estudio de la detección y propuesta de una arquitectura de control basada en comunicaciones inalámbricas
Tesis doctoral de Alvaro Llaria Leal El escenario energético actual, basado principalmente en la producción centralizada de energía, concentrada en
Aportaciones al diseño y a la comprobación de circuitos electrónicos digitales de comunicaciones en trenes
Tesis doctoral de Jaime Jimenez Verde Diseñar circuitos digitales complejos, con algún microprocesador integrado junto a periféricos y módulos específicos,