Projet de recherche
TIN2015-65845-C3-1-R
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
date_range
Durée de 01 janvier 2016 à 31 décembre 2018
(36 mois)