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

• Main Author: Marton, Mauro
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 1989
• Subjects: Redes de petri; Telemática; Engenharia elétrica
• Online Access: MARTON, Mauro. Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação. 1989. [105] f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260004>. Acesso em: 13 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/260004

Orientador: Walter da Cunha Borelli === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-13T21:49:30Z (GMT). No. of bitstreams: 1 Marton_Mauro_M.pdf: 4622503 bytes, checksum: aa4e42e8be05f77d3135f63306a2d75d (MD5) Previous issue date: 1989 === Resumo: Não informado === Abstract: Not informed. === Mestrado === Mestre em Engenharia Elétrica