Completed projects

2025

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

    ELVIRA MARÍA ALBERT ALBIOLALBERT RUBIO

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

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

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

2001

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

    Mario RODRÍGUEZ ARTALEJO

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

    Mario RODRÍGUEZ ARTALEJO

1996

  1. PROGRAMACION LOGICO FUNCIONAL CON NUMEROS REALES.

    FRANCISCO JAVIER LÓPEZ FRAGUAS