Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
AUTOR(ES)
Roberto Toshiyuki Tamura
DATA DE PUBLICAÇÃO
1988
RESUMO
Não informado
ASSUNTO(S)
redes de petri sdl (linguagem de programação de computador)
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000056144Documentos Relacionados
- Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
- Modelos baseados em extensões de rede de Petri para analise de protocolos de comunicação
- Analisador automatico de rede de Petri para validação de protocolos de comunicações
- O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
- Validação do protocolo de avaliação neurofuncional para Comunicação Alternativa e Ampliada