Indarrean dauden proiektuak

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

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO

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

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO

Bukatutako proiektuak

2022

  1. FORmal models and Technologies for Emerging applications.

    ELVIRA MARÍA ALBERT ALBIOL

2021

  1. Razonamiento formal para tecnologías facilitadoras y emergentes

    ELVIRA MARÍA ALBERT ALBIOL

  2. ENVISAGE-FEI

    ELVIRA MARÍA ALBERT ALBIOL

2018

  1. SOLUCIONES EFECTIVAS BASADAS EN LA LÓGICA

    ELVIRA MARÍA ALBERT ALBIOL

  2. Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas

    ELVIRA MARÍA ALBERT ALBIOL

2016

  1. Engineering Virtualized Services

    ELVIRA MARÍA ALBERT ALBIOL

2015

  1. TÉCNICAS ESCALABLES PARA LA VALIDACIÓN DE APLICACIONES CONCURRENTES

    ELVIRA MARÍA ALBERT ALBIOL

2013

  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