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 María del mar Martínez solórzano. Tesis donde María del mar Martínez solórzano 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 Joan Font Rosselló Esta tesis gira en torno a test de circuitos analógicos. En la primera parte
Tesis doctoral de Yolanda Lechuga Solaegui El diseño de socs heterogéneos se impone, actualmente, para muchas aplicaciones, lo que implica
Tesis doctoral de Manuel José Barragán Asián La contribución principal de esta tesis es el desarrollo de nuevos esquemas para