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

DSpace Repository

Title:	Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
Author:	Mello, Braulio Adriano de
Abstract:	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.
Description:	Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
URI:	https://repositorio.ufsc.br/xmlui/handle/123456789/158163
Date:	1997

Files	Size	Format	View
PGCC0038-D.pdf	2.075Mb	PDF	View/Open