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

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

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)...

Full description

Bibliographic Details
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

Internet

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

Similar Items