Utilização de model checking na verificação formal de um protocolo de rede full duplex sem fio

Não existem arquivos associados a este item.
Título: 

Autor(es) e Colaborador(es): 
Autor(es) Principais: 
Outros identificadores: 
Data: 
18-Nov-2020
18-Nov-2020
12-Mai-2016
Tipo: 
Palavras-chave: 






Aparece nas coleções:Repositorio Institucional da UTFPR - RIUT