Forschungsprojekt
TIN2015-65845-C3-1-R
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
date_range
Dauer von 01 von Januar von 2016 bis 31 von Dezember von 2018
(36 Monate)