Utilização de model checking na verificação formal de um protocolo de rede full duplex sem fio
por: Pereira Júnior, Matheus
Publicado em: (2020)
Verificação formal de um protocolo de rede sem fio através de model checking
This work consists of the application of the model checking technique to the formal specification, modeling and formal verification of the basic access method of the IEEE 802.11 standard medium access control protocol distributed coordination function (DCF). The modeling was made assuming nodes with...
Na minha lista:
Autor principal: | Rosas, Fabiano Almeida |
---|---|
Formato: | Trabalho de Conclusão de Curso (Graduação) |
Idioma: | Português |
Publicado em: |
Universidade Tecnológica Federal do Paraná
2020
|
Assuntos: | |
Acesso em linha: |
http://repositorio.utfpr.edu.br/jspui/handle/1/15907 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Utilização de model checking na verificação formal de um protocolo de rede full duplex sem fio
por: Pereira Júnior, Matheus
Publicado em: (2020) -
Implementação e avaliação de desempenho do protocolo PBF-DCF para WLANs com largura adaptativa de canais
por: Casella, Gabriel Bolognani
Publicado em: (2020) -
Projeto de um portal cativo social para gerenciamento de acesso amigável em redes IEEE 802.11
por: Rosa, Josley, et al.
Publicado em: (2020) -
Rede sem fio 802.11ac em malha: com equipamentos de dupla banda de baixo custo
por: Graciano, Alexandre Fernandes
Publicado em: (2020) -
Avaliação de um protocolo MAC sem fio full duplex
por: Garcia, Georgia
Publicado em: (2020)