Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly

Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas […]

, , , , ,