Completed projects

2022

  1. FORmal models and Technologies for Emerging applications

    MANUEL NÚÑEZ GARCÍA

2021

  1. MODELADO FORMAL Y MÉTODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES.

    MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA

2018

  1. DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES

    MANUEL NÚÑEZ GARCÍA

  2. DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADA.

    MANUEL NÚÑEZ GARCÍA

2015

  1. ESPECIFICACIÓN Y TESTING DE SISTEMAS ALTAMENTE DISTRIBUIDOS

    MANUEL NÚÑEZ GARCÍA

2007

  1. Codigo con demostracion asociada.