Um compilador para a técnica de descrição formal estelle/83.
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
-
Estelle
-
Implementação Automática
-
Protocolos
-
Protocolos de Comunicação
-
Redes de Computadores
-
Sistemas Distribuídos e Redes de Computadores
-
Técnicas de Descrição Formal
Identidade
identificador BrCris
-
c29b6be135b89c917926dbfb3293ea6b
identificador Oasisbr
-
UFCG_4b9177b6ff36606368c5265a29d86439