Simulador para a Técnica de Descrição Formal E-LOTOS
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
-
E-LOTOS
-
Protocolos de Comunicação
-
Simulação
-
Simulação de Especificações
-
Sistemas Distribuídos
-
Sistemas Distribuídos e Redes de Computadores
-
Técnica de Descrição Formal
-
Técnicas de Descrição Formal
-
especificação formal
-
simulação
Identidade
identificador BrCris
-
882ccf3f31b743f6740ec5c8fe5a815c
identificador Capes
-
200213733001014008P4-Publication