MIGUEL ÁNGEL
VALERO ESPADA
Profesor colaborador
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
2012
-
ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.
MANUEL NÚÑEZ GARCÍA
2010
-
FUNDAMENTOS Y APLICACIONES DEL TESTING
MANUEL NÚÑEZ GARCÍA
2009
-
MÉTODOS AVANZADOS DE TESTING
ISMAEL RODRÍGUEZ LAGUNA