Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
=== A mobile hoc network (MANET) is comprised of mobile nodes that can communicate directly with each other, leading to different topologies along the time. In this kind of network, the routing protocol plays an important role since it offers the delivery of message to the upper layers. that are no...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2003
|
| Online Access: | http://hdl.handle.net/1843/BUBD-9KJM3Y |