Navegando por Orientador Alves, Gleifer Vaz
Mostrando resultados 15 a 15 de 15
< Anterior
Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
---|---|---|---|---|
Ponta Grossa | Ciência da Computação | 11-Nov-2014 | Verificação formal de um protocolo de rede sem fio através de model checking | Rosas, Fabiano Almeida |