Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T22:12:15Z (GMT). No. of bitstreams: 0
Previous issue date: 1997 / Esta 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/158163 |
| Date | January 1997 |
| Creators | Mello, Braulio Adriano de |
| Contributors | Universidade Federal de Santa Catarina, Camargo, Murilo Silva de, Specialski, Elizabeth Sueli |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | xii, 106f.| il., tabs |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0022 seconds