Navegando por Autor Pereira Júnior, Matheus
Mostrando resultados 1 a 1 de 1
Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
---|---|---|---|---|
Ponta Grossa | Ciência da Computação | 12-Mai-2016 | Utilização de model checking na verificação formal de um protocolo de rede full duplex sem fio | Pereira Júnior, Matheus |