Iniciar sesión

Reingeniería y ampliación del generador dinámico de invariantes potenciales para composiciones de servicios web WS-BPEL Takuan

Trabajo de ampliación y documentación sobre el generador de invariantes para composiciones WS-BPEL Takuan.
Alejandro Álvarez Ayllón Universidad de Cádiz (Cádiz)

Tutor/a

Manuel Palomo DuarteUniversidad de Cádiz (Departamento de Lenguajes y Sistemas Informáticos)