Abstract:
El autor dirige su texto a los investigadores y estudiantes de pre y post grado que pretenden entender a profundidad el estudio de los protocolos y mecanismos de comunicación, por lo que presenta para ellos, en detalle el modelado y análisis del protocolo Bandabase de Bluetooth usando técnicas formales, CPN y lógica temporal y el modelado, simulación y análisis del mecanismo de construcción de PDUs de la subcapa MAC de WiMax adaptativa basada en información de retroalimentación usando técnicas de simulación y técnicas formales (CPN y lógica temporal).