Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação

Detalhes bibliográficos
Ano de defesa: 1989
Autor(a) principal: Marton, Mauro
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://hdl.handle.net/20.500.12733/1574894
Resumo: Orientador: Walter da Cunha Borelli