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

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

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 (M...

Full description

Bibliographic Details
Main Author: Tamura, Roberto Toshiyuki
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1988
Subjects:
SDL (Linguagem de programação de computador)
Redes de petri
Online Access: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.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/259898

Internet

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.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/259898

Similar Items