Analisador automatico de rede de Petri para validação de protocolos de comunicações

Analisador automatico de rede de Petri para validação de protocolos de comunicações

Magda Patricia Caldeira Arantes

DISSERTAÇÃO

Português

T/UNICAMP Ar14a

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

173f. : il.

(Publicação FEE)

Orientador: Shusaburo Motoyama

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

Analisador automatico de rede de Petri para validação de protocolos de comunicações

Magda Patricia Caldeira Arantes

										

Analisador automatico de rede de Petri para validação de protocolos de comunicações

Magda Patricia Caldeira Arantes

    Exemplares

    Nº de exemplares: 2
    Não existem reservas para esta obra