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

Roberto Toshiyuki Tamura

DISSERTAÇÃO

Português

(Broch.)

T/UNICAMP T153m

Campinas, SP : [s.n.], 1988.

126 f.

Orientador: Shusaburo Motoyama

Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: Não informado

Abstract: Not informed.

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

Roberto Toshiyuki Tamura


										

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

Roberto Toshiyuki Tamura

    Exemplares