Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | 184 |
Total de Visitas por Mes
| noviembre 2024 | diciembre 2024 | enero 2025 | febrero 2025 | marzo 2025 | abril 2025 | mayo 2025 | |
|---|---|---|---|---|---|---|---|
| Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | 1 | 0 | 0 | 2 | 4 | 1 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| tesis-cluna.pdf | 102 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 37 |
| China | 27 |
| México | 23 |
| Uruguay | 21 |
| Ecuador | 12 |
| Perú | 10 |
| Argentina | 8 |
| Canadá | 6 |
| Colombia | 6 |
| Polonia | 5 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 19 |
| Beijing | 7 |
| Fairfield | 7 |
| Quito | 7 |
| Ottawa | 6 |
| Santa Clara | 6 |
| Guayaquil | 5 |
| Lima | 5 |
| Mexico | 5 |
| Nanjing | 5 |