Research project
TIN2015-65845-C3-1-R
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
date_range
Duration: from 01 January 2016 to 31 December 2018
(36 months)