Ikerketa proiektua
TIN2015-65845-C3-1-R
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
date_range
Iraupena 2016(e)ko urtarrila-(a)k 01-(e)tik 2018(e)ko abendua-(a)k 31-(e)ra izan da
(36 months)
Amaitu
Norgehiagoka-aren araubidean eman da.
