Completed projects

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

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

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

2001

  1. TECNICAS AVANZADAS DE DESARROLLO DE PROGRAMAS EN ENTORNOS DECLARATIVOS (TREND).

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

1996

  1. PROGRAMACION LOGICO FUNCIONAL CON NUMEROS REALES.

    FRANCISCO JAVIER LÓPEZ FRAGUAS