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

Detalhes bibliográficos
Autor(a) principal: Marton, Mauro
Data de Publicação: 1989
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1574894
Resumo: Orientador: Walter da Cunha Borelli
id UNICAMP-30_77e6231890d2601adbff6927709bcba3
oai_identifier_str oai::26341
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Analisador automatico de rede de petri temporizada para validação de protocolos de comunicaçãoRedes de PetriTelemáticaEngenharia elétricaOrientador: Walter da Cunha BorelliDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Não informadoAbstract: Not informed.MestradoMestre em Engenharia Elétrica[s.n.]Borelli, Walter da Cunha, 1950-Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASMarton, Mauro1989info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf[105] f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1574894MARTON, 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: https://hdl.handle.net/20.500.12733/1574894. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/26341Publicação FEEporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-04-26T11:42:45Zoai::26341Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-04-26T11:42:45Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
title Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
spellingShingle Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
Marton, Mauro
Redes de Petri
Telemática
Engenharia elétrica
title_short Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
title_full Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
title_fullStr Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
title_full_unstemmed Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
title_sort Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
author Marton, Mauro
author_facet Marton, Mauro
author_role author
dc.contributor.none.fl_str_mv Borelli, Walter da Cunha, 1950-
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Marton, Mauro
dc.subject.por.fl_str_mv Redes de Petri
Telemática
Engenharia elétrica
topic Redes de Petri
Telemática
Engenharia elétrica
description Orientador: Walter da Cunha Borelli
publishDate 1989
dc.date.none.fl_str_mv 1989
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1574894
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: https://hdl.handle.net/20.500.12733/1574894. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1574894. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1574894
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/26341
Publicação FEE
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[105] f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188703130615808

Registros relacionados