Pantheon Repositório Institucional da UFRJ
Coleta, preserva e divulga a produção acadêmica digital em todas as áreas do conhecimento.
São os ativos do repositório, além de teses e dissertações da UFRJ, artigos científicos, livros eletrônicos, capítulos de livros e trabalhos apresentados em eventos por professores, pesquisadores, funcionários administrativos e alunos de mestrado e doutorado.
Navegando por Assunto Concurrent systems
Mostrando resultados 1 a 1 de 1
| Autor(es) | Título | Data do documento | Tipo |
|---|---|---|---|
| Cruz, Jones Martins Vieira da | Relato de experiência em modelagem e verificação de algoritmos concorrentes com TLA+ | 26-Jun-2024 | Trabalho de conclusão de graduação |