Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri

Detalhes bibliográficos
Ano de defesa: 1988
Autor(a) principal: Tamura, Roberto Toshiyuki
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:
SDL (Linguagem de programação de computador)
Redes de Petri
Link de acesso: https://hdl.handle.net/20.500.12733/1579984
Resumo: Orientador: Shusaburo Motoyama
id UNICAMP-30_2ffdf9ba2ff88ddfb50f366399a159d5
oai_identifier_str oai::55958
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 Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de PetriSDL (Linguagem de programação de computador)Redes de PetriOrientador: Shusaburo MotoyamaDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Não informadoAbstract: Not informed.MestradoMestre em Engenharia Elétrica[s.n.]Motoyama, Shusaburo, 1944-Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASTamura, Roberto Toshiyuki19881988-09-02T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf126 f.(Broch.)https://hdl.handle.net/20.500.12733/1579984TAMURA, Roberto Toshiyuki. Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri. 1988. 126 f Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579984. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/55958porreponame: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-05-06T17:35:47Zoai::55958Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-05-06T17:35:47Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
title Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
spellingShingle Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
Tamura, Roberto Toshiyuki
SDL (Linguagem de programação de computador)
Redes de Petri
title_short Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
title_full Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
title_fullStr Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
title_full_unstemmed Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
title_sort Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
author Tamura, Roberto Toshiyuki
author_facet Tamura, Roberto Toshiyuki
author_role author
dc.contributor.none.fl_str_mv Motoyama, Shusaburo, 1944-
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 Tamura, Roberto Toshiyuki
dc.subject.por.fl_str_mv SDL (Linguagem de programação de computador)
Redes de Petri
topic SDL (Linguagem de programação de computador)
Redes de Petri
description Orientador: Shusaburo Motoyama
publishDate 1988
dc.date.none.fl_str_mv 1988
1988-09-02T00:00:00Z
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/1579984
TAMURA, Roberto Toshiyuki. Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri. 1988. 126 f Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579984. Acesso em: 27 fev. 2025.
identifier_str_mv (Broch.)
TAMURA, Roberto Toshiyuki. Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri. 1988. 126 f Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579984. Acesso em: 27 fev. 2025.
url https://hdl.handle.net/20.500.12733/1579984
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/55958
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
126 f.
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_ 1829137347960111104

Registros relacionados