Design and Testing of Reliable Systems
Proxectos vixentes Proxectos nos que participa algún/ha investigador/a
-
Metodologías avanzadas para arquitecturas, diseño y pruebas de software
MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA
-
Sistema IoT innovador orientado a la inclusión y mejora de la autonomía de personas con discapacidad visual
MARÍA GUIJARRO MATA-GARCÍA, JOAQUÍN RECAS PIORNO
Proxectos finalizados Proxectos finalizados nos que participou algún/ha investigador/a
2022
-
FORmal models and Technologies for Emerging applications
MANUEL NÚÑEZ GARCÍA
-
Desarrollo de técnicas y metodologías flexibles para la optimización de sistemas cloud
ALBERTO NÚÑEZ COVARRUBIAS
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
2020
-
Streaming video through a MANET for use in humanitarian emergencies
SIMÓN JAMES PICKIN
-
Streaming video through a MANET for use in humanitarian emergencies
SIMÓN JAMES PICKIN
2018
-
DISCOTEC 2018 (13th International Federated Conference on Distributed Computing Techniques)
MANUEL NÚÑEZ GARCÍA
-
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
MANUEL NÚÑEZ GARCÍA
-
TÉCNICAS DE VISIÓN COMPUTERIZADA Y RECONSTRUCCIÓN 3D APLICADAS AL ESTUDIO DE LA CABEZA DEL NERVIO ÓPTICO Y ENFERMEDADES ASOCIADAS
CARLOS GREGORIO RODRÍGUEZ
-
DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADA.
MANUEL NÚÑEZ GARCÍA
-
INVESTIGACIÓN Y DESARROLLO DE TECNOLOGÍAS EDUCATIVAS EN LA COMUNIDAD DE MADRID.
BALTASAR FERNÁNDEZ MANJÓN
2015
-
ESPECIFICACIÓN Y TESTING DE SISTEMAS ALTAMENTE DISTRIBUIDOS
MANUEL NÚÑEZ GARCÍA
2013
-
PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID.
FRANCISCO JAVIER LÓPEZ FRAGUAS
2012
-
ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.
MANUEL NÚÑEZ GARCÍA
2011
-
SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.
FRANCISCO JAVIER LÓPEZ FRAGUAS
2010
-
FUNDAMENTOS Y APLICACIONES DEL TESTING
MANUEL NÚÑEZ GARCÍA
2009
-
MÉTODOS AVANZADOS DE TESTING
ISMAEL RODRÍGUEZ LAGUNA
-
METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS
FRANCISCO JAVIER LÓPEZ FRAGUAS
2008
-
Training and Research On Testing
MANUEL NÚÑEZ GARCÍA