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 […]
Información academica Enrique Mandado Pérez. Tesis donde Enrique Mandado Pérez ha sido autor, director o parte del tribunal.
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 Pilar Fernandez Sanchez Después de un análisis del estado del arte de las teorías del aprendizaje, los
Tesis doctoral de Celso Fernández Silva En esta tesis se presenta, en primer lugar, un nuevo método de diseño de
Tesis doctoral de Camilo Quintans Graña En esta tesis se presenta un estudio de las estructuras de convertidores a/d (analógico-digital),
Tesis doctoral de Alfonso Mandado Vazquez Esta tesis se realizo, debido al interes cada vez mayor en temas relacionados con
Tesis doctoral de Sergio Luis Toral Marin Los sistemas estocásticos se encuentran caracterizados porque la información se representa mediante un
Tesis doctoral de Javier Valls Coquillat Esta tesis intenta realizar una contribución al diseño y construcción de cdsps (custom digital
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,
Tesis doctoral de Michael Victorio Garcia Lorenz En esta tesis doctoral se estudia la reconfiguración dinámica de fpgas para el
Tesis doctoral de Manuel Doiro Sancho A partir de un examen de la literatura existente sobre la localización industrial y