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