Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
Uma rede móvel ad hoc é uma rede onde os nodos são móveis e podem se comunicar diretamente entre si. Isto significa que em cada instante do tempo a rede pode ter uma topologia diferente. Neste tipo de rede o protocolo de roteamento oferece um serviço muito importante para os protocolos das camadas s...
| Main Author: | |
|---|---|
| Format: | masterThesis |
| Language: | por |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1843/BUBD-9KJM3Y |
| Country: | Brazil |
| Oai: | oai:repositorio.ufmg.br:1843/BUBD-9KJM3Y |