RAFAEL
MARTÍNEZ TORRES
Investigador hasta 2020
Proyectos finalizados
2022
-
FORmal models and Technologies for Emerging applications
MANUEL NÚÑEZ GARCÍA
2021
-
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
2015
-
ESPECIFICACIÓN Y TESTING DE SISTEMAS ALTAMENTE DISTRIBUIDOS
MANUEL NÚÑEZ GARCÍA