FREITAS JÚNIOR, O. G.; http://lattes.cnpq.br/1878932894256747; FREITAS JÚNIOR, Olival de Gusmão. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-04)
This work presents a t o o l , based on the Duologue Matriz technique,
for the validation of communication protocols. This tool helps the designer,
in the initial phase of the protocol design, to identify and to ...