Uso de tecnicas formales para el diseño de protocolos de comunicaciones
Tesis doctoral de Tomas Robles Valladares Los protocolos que se desarrollan para las nuevas redes de comunicaciones son cada vez […]
Tesis doctoral de tomas Robles valladares
Información academica tomas Robles valladares. Tesis donde tomas Robles valladares ha sido autor, director o parte del tribunal.
Contributions to presence-based systems for deploying ubiquitous communication services
Tesis doctoral de María Victoria Beltran Martinez Next-generation networks (ngns) son las redes de próxima generación que soportaran la convergencia
Contribución al diseño de una arquitectura de terminal para aplicaciones de usuario con soporte de adaptación y calidad de servicio en redes móviles heterogéneas basadas en ip
Tesis doctoral de Armuelles Voinov Iván Pablo La tesis doctoral propone contribuciones al diseño de una arquitectura de terminal itinerante
Contribucion a la fase de prueba de sistemas concurrentes y distribuidos mediante tecnicas de descripcion formal
Tesis doctoral de Juan Carlos Burguillo Rial El objetivo de esta tesis es analizar y formalizar nuevas tecnicas para mejorar