Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação

Detalhes bibliográficos
Autor(a) principal: Mello, Braulio Adriano de
Data de Publicação: 1997
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/158163
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
id UFSC_75f8f544f515b171c7aa9b7fe791948d
oai_identifier_str oai:repositorio.ufsc.br:123456789/158163
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaMello, Braulio Adriano deCamargo, Murilo Silva deSpecialski, Elizabeth Sueli2016-01-08T22:12:15Z2016-01-08T22:12:15Z1997108814https://repositorio.ufsc.br/xmlui/handle/123456789/158163Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoEsta dissertação apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição LOTOS do sistema, de simulação, de teste e de verificação.xii, 106f.| il., tabsporLOTOS (Linguagem de programação de computador)Redes de computadoresGerênciaUtilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificaçãoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALPGCC0038-D.pdfPGCC0038-D.pdfapplication/pdf2176007https://repositorio.ufsc.br/bitstream/123456789/158163/1/PGCC0038-D.pdf1222436bd10733d82262ba8e7fbc0292MD51123456789/1581632022-10-05 17:54:01.542oai:repositorio.ufsc.br:123456789/158163Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732022-10-05T20:54:01Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
title Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
spellingShingle Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
Mello, Braulio Adriano de
LOTOS (Linguagem de programação de computador)
Redes de computadores
Gerência
title_short Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
title_full Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
title_fullStr Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
title_full_unstemmed Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
title_sort Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
author Mello, Braulio Adriano de
author_facet Mello, Braulio Adriano de
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Mello, Braulio Adriano de
dc.contributor.advisor1.fl_str_mv Camargo, Murilo Silva de
dc.contributor.advisor-co1.fl_str_mv Specialski, Elizabeth Sueli
contributor_str_mv Camargo, Murilo Silva de
Specialski, Elizabeth Sueli
dc.subject.classification.pt_BR.fl_str_mv LOTOS (Linguagem de programação de computador)
Redes de computadores
Gerência
topic LOTOS (Linguagem de programação de computador)
Redes de computadores
Gerência
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
publishDate 1997
dc.date.issued.fl_str_mv 1997
dc.date.accessioned.fl_str_mv 2016-01-08T22:12:15Z
dc.date.available.fl_str_mv 2016-01-08T22:12:15Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/xmlui/handle/123456789/158163
dc.identifier.other.pt_BR.fl_str_mv 108814
identifier_str_mv 108814
url https://repositorio.ufsc.br/xmlui/handle/123456789/158163
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv xii, 106f.| il., tabs
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/158163/1/PGCC0038-D.pdf
bitstream.checksum.fl_str_mv 1222436bd10733d82262ba8e7fbc0292
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805053657579520

Registros relacionados