Analisador automatico de rede de Petri para validação de protocolos de comunicações

Description

Orientador: Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T03:06:35Z (GMT). No. of bitstreams: 1
Arantes_MagdaPatriciaCaldeira_M.pdf: 9844579 bytes, checksum: e33b835a74dc5579ed46ec93e91eddbb (MD5)
Previous issue date: 1988 / Mestrado / Mestre em Engenharia Elétrica

Links & Downloads

1. ARANTES, Magda Patricia Caldeira. Analisador automatico de rede de Petri para validação de protocolos de comunicações. 1988. 173f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261638>. Acesso em: 14 jul. 2018.
2. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261638

Tags

Redes de Petri (Engenharia)

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/261638
Date	19 February 1988
Creators	Arantes, Magda Patricia Caldeira
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Motoyama, Shusaburo, 1944-, Val, João Bosco Ribeiro, Andrade, Marcio Luiz de, Magalhães, Mauricio Ferreira
Publisher	[s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Eletrica
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format	173f. : il., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess
Relation	(Publicação FEE)