1. Repositório Institucional da UFMG
  2. Trabalhos Acadêmicos
  3. Dissertações e Teses
  4. Pós-Graduação em Ciência da Computação
  5. Teses de Doutorado
Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/SLSS-7XGGPD
Full metadata record
DC FieldValueLanguage
dc.contributor.advisor1Antonio Alfredo Ferreira Loureiropt_BR
dc.contributor.referee1Claudionor Jose Nunes Coelho Juniorpt_BR
dc.contributor.referee2Edleno Silva de Mourapt_BR
dc.contributor.referee3Raquel Aparecida de Freitas Minipt_BR
dc.contributor.referee4Sergio Vale Aguiar Campospt_BR
dc.creatorDaniel Camarapt_BR
dc.date.accessioned2019-08-12T21:16:21Z-
dc.date.available2019-08-12T21:16:21Z-
dc.date.issued2009-10-22pt_BR
dc.identifier.urihttp://hdl.handle.net/1843/SLSS-7XGGPD-
dc.description.resumoRedes de comunicação sem fio se tornaram nos últimos anos uma constante na vida de um número crescente de pessoas. Em um circulo virtuoso, novos e ainda mais ofisticados protocolos são projetados a cada dia, aumentando o número de ferramentas disponíveis, o que atrai ainda mais usuários. Contudo novas ferramentas são necessárias para ajudar os designers no seu trabalho de desenvolvimento de novos e melhores softwares e protocolos para este tipo de rede. Ferramentas tradicionais, projetadas para ambientes distribuídos tradicionais não necessariamente funcionam no contexto de redes sem fio. Esta tese apresenta um novo e simples método para ajudar os desenvolvedores na tarefa de criar protocolos para redes sem fio ad hoc baseado em Verificação formal de software. Esta técnica apresenta uma série de vantagens para quem visa criar protocolos de comunicação confiáveis e seguros.pt_BR
dc.languageInglêspt_BR
dc.publisherUniversidade Federal de Minas Geraispt_BR
dc.publisher.initialsUFMGpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectCiência da Computaçãopt_BR
dc.subject.otherComputaçãopt_BR
dc.titleFormal verification of communication protocols for wireless networkspt_BR
dc.typeTese de Doutoradopt_BR
Appears in Collections:Teses de Doutorado

Files in This Item:
File Description SizeFormat 
danielcamara.pdf3.19 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.