Proxectos vixentes

  1. Métodos formales escalables para aplicaciones en entornos reales

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO

Proxectos finalizados

2023

  1. FORmal models and Technologies for Emerging applications.

    ELVIRA MARÍA ALBERT ALBIOL

2022

  1. RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES

    ELVIRA MARÍA ALBERT ALBIOL

  2. ENVISAGE-FEI

    ELVIRA MARÍA ALBERT ALBIOL

2020

  1. Soluciones Efectivas basadas en la Lógica

    ELVIRA MARÍA ALBERT ALBIOL

2018

  1. Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas

    ELVIRA MARÍA ALBERT ALBIOL

2017

  1. Técnicas escalables para la validación de aplicaciones concurrentes

    ELVIRA MARÍA ALBERT ALBIOL

2016

  1. Engineering Virtualized Services

    ELVIRA MARÍA ALBERT ALBIOL

2014

  1. PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2011

  1. RESOLUCION DE RELACIONES DE COSTE UTILIZANDO TECNICAS DE ANALISIS DE PROGRAMAS

    ELVIRA MARÍA ALBERT ALBIOL

2009

  1. METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS

    FRANCISCO JAVIER LÓPEZ FRAGUAS