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 […]

, , , , ,