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 Juan Francisco Sevillano Berasategui. Tesis donde Juan Francisco Sevillano Berasategui 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 Juan Francisco Sevillano Berasategui El continuo avance en las tecnologías de fabricación de circuitos integrados ha hecho
Tesis doctoral de Ainara Jiménez Irastorza La identificación por radiofrecuencia (rfid) es una tecnología de comunicación inalámbrica que permite identificar