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...
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!
|