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

Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/259898

Type:	DISSERTAÇÃO
Degree Level:	Mestrado
Title:	Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
Author:	Tamura, Roberto Toshiyuki
Advisor:	Motoyama, Shusaburo, 1944-
Abstract:	Resumo: Não informado Abstract: Not informed.
Subject:	SDL (Linguagem de programação de computador) Redes de petri
Language:	Português
Editor:	[s.n.]
Citation:	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.
Date Issue:	1988
Appears in Collections:	FEEC - Tese e Dissertação

Files in This Item:

File	Size	Format
Tamura_RobertoToshiyuki_M.pdf	5.56 MB	Adobe PDF	View/Open