Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
Mauro Marton
DISSERTAÇÃO
Português
(Broch.)
T/UNICAMP M367a
Campinas, SP : [s.n.], 1989.
[105] f. : il.
(Publicação FEE)
Orientador: Walter da Cunha Borelli
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica
Resumo: Não informado
Abstract: Not informed.
Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
Mauro Marton
Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
Mauro Marton