Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação

Este trabalho apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção formal de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição formal do sistema em LOTOS e durante o desenvolviment...

Descripción completa

Detalles Bibliográficos
Autores principales: Mello, Braulio Adriano de, Camargo, Murilo Silva de, Specialski, Elizabeth Sueli
Formato: Objeto de conferencia
Lenguaje:Portugués
Publicado: 1997
Materias:
Ciencias Informáticas
Simulation
Parallel processing
Distributed
Técnicas de Descrição Formal
LOTOS
Simulação
Verificação
Gerência de Redes
Gateway CMIP-SNMP
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23930
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares