SABER UCV >
Buscar por Autor Villapol, María
Mostrando resultados 1 a 4 de 4
| Fecha de publicación | Título | Autor(es) | | 2004 | Análisis y verificación del Protocolo para la Reservación de Recursos (RSVP), usando Redes Coloreadas de Petri | Villapol, María |
| 20-Jun-2024 | Analysis of the Dynamic Service Flow Management Transactions Protocol for MAC IEEE 802.16. An Aproach | Morales Bezeira, Ana Verónica; Villapol, María; Scalise, Eugenio; Naranjo, Cesar; Alvárez, Fabian |
| 16-May-2012 | Una Revisión Formal a la Especificación del Servicio para la Gestión de las Conexiones en la Capa MAC IEEE 802.16 | Morales, Ana; Villapol, María |
| 16-May-2012 | Uso de Redes de Petri Coloreadas para la Formalización y Análisis de la Activación de Operaciones de la Capa MAC/Física Alternativa (AMP) en Bluetooth 3.0 | Blanco, Mayerlin; Villapol, María |
Mostrando resultados 1 a 4 de 4
|
