Navegando por Autor Lourenço, Vanessa Escócio
Mostrando resultados 1 a 1 de 1
Autor(es) | Título | Data do documento | Tipo |
---|---|---|---|
Figueiredo, André Gustavo Lima; Lourenço, Vanessa Escócio | Análise do modelo de ataques ao protocolo Signal: uma abordagem usando lógica e mCRL2 | 16-Jun-2020 | Trabalho de conclusão de graduação |