Proxectos vixentes

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

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

Proxectos finalizados

2023

  1. 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

2017

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

    NARCISO MARTÍ OLIET

2013

  1. ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.

    MANUEL NÚÑEZ GARCÍA

2010

  1. FUNDAMENTOS Y APLICACIONES DEL TESTING

    MANUEL NÚÑEZ GARCÍA

2009

  1. MÉTODOS AVANZADOS DE TESTING

    ISMAEL RODRÍGUEZ LAGUNA