Return to search

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)
Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/260004
Date13 July 2018
CreatorsMarton, Mauro
ContributorsUNIVERSIDADE ESTADUAL DE CAMPINAS, Borelli, Walter da Cunha, 1950-
Publisher[s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação, Programa de Pós-Graduação em Engenharia Elétrica
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format[105] f. : il., application/pdf
Sourcereponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rightsinfo:eu-repo/semantics/openAccess
Relation(Publicação FEE)

Page generated in 0.0342 seconds