Estatísticas
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
- 940 Total de visitas
Total de visitas por mês
| Novembro 2023 | Dezembro 2023 | Janeiro 2024 | Fevereiro 2024 | Março 2024 | Abril 2024 | Maio 2024 |
|---|---|---|---|---|---|---|
| 23 | 14 | 17 | 14 | 11 | 15 | 5 |
Download de arquivos
| Nome do arquivo | Quantidade de downloads |
|---|---|
| 459162.pdf | 605 |