Projectes vigents

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

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

Projectes finalitzats

2023

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

    FERNANDO RUBIO DÍEZ

2018

  1. Next-GeneRation Energy-EfficieNt Secure Software.

    NARCISO MARTÍ OLIET

2017

  1. Tecnologías rigurosas para software de nueva generación abierto y fiable

    NARCISO MARTÍ OLIET