Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Especificação formal e verificação de sistemas - S
-
Gateway CMIP-SNMP
-
Gerância de Redes
-
Redes de Computadores
-
Técnica de Descrição Formal
-
Verificação
Identidade
identificador BrCris
-
9daeeb53ee0330bc11a24cb654682738
identificador Oasisbr
-
UFSC_75f8f544f515b171c7aa9b7fe791948d