Proyecto de investigación
TIN2015-65845-C3-1-R
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
date_range
Duración del 01 de enero de 2016 al 31 de diciembre de 2018
(36 meses)
Finalizó
Se ha otorgado en régimen de Concurrencia competitiva.