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

Description

Orientador: Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-17T17:32:48Z (GMT). No. of bitstreams: 1
Tamura_RobertoToshiyuki_M.pdf: 5692280 bytes, checksum: 5060e1cac0598ce84d6c8f7ffee3b0b4 (MD5)
Previous issue date: 1988 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Links & Downloads

1. (Broch.)
2. 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: <http://www.repositorio.unicamp.br/handle/REPOSIP/259898>. Acesso em: 17 jul. 2018.
3. http://repositorio.unicamp.br/jspui/handle/REPOSIP/259898

Tags

Redes de petri

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/259898
Date	02 September 1988
Creators	Tamura, Roberto Toshiyuki
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Motoyama, Shusaburo, 1944-
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 Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format	126 f., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess