Proyectos vigentes

  1. Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

Proyectos finalizados

2022

  1. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis

    FERNANDO RUBIO DÍEZ

  2. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis.

    FERNANDO RUBIO DÍEZ

2020

  1. TECNOLOGÍAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE

    NARCISO MARTÍ OLIET

2018

  1. NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE.

    NARCISO MARTÍ OLIET

2015

  1. TECNOLOGÍAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACIÓN ABIERTO Y FIABLE

    NARCISO MARTÍ OLIET

2014

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

    NARCISO MARTÍ OLIET

2012

  1. DESARROLLO DE SOFTWARE DE ALTA CALIDAD. FIABLE, DISTRIBUIDO Y SEGURO

    NARCISO MARTÍ OLIET

2010

  1. DESARROLLO DE SOFTWARE DE ALTA CALIDAD FIABLE DISTRIBUIDO Y SEGURO -SUBPROYECTOS DE LA UNIVERSIDD COMPLUTENSE DE MADRID-

    NARCISO MARTÍ OLIET

2009

  1. PROGRAMA EN MÉTODOS PARA EL DESARROLLO DE SOFTWARE FIABLE DE ALTA CALIDAD Y SEGURO DE LA COMUNIDAD DE MADRID

    NARCISO MARTÍ OLIET

2006

  1. Metalenguajes para el diseño y análisis integrado de sistemas móviles y distribuidos.

    NARCISO MARTÍ OLIET

2003

  1. DESARROLLO FORMAL DE SISTEMAS BASADOS EN AGENTES MOVILES Y EVALUACION DE RENDIMIENTOS.

    DAVID DE FRUTOS ESCRIG