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...
| Autor principal: | |
|---|---|
| Formato: | masterThesis |
| Idioma: | por |
| Publicado em: |
2019
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1843/BUBD-9KJM3Y |
| País: | Brasil |
| Oai: | oai:repositorio.ufmg.br:1843/BUBD-9KJM3Y |