Projecte d'investigació
TIN2015-65845-C3-1-R
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
date_range
Duració del 01 de de gener de 2016 al 31 de de desembre de 2018
(36 mesos)