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 | 251 |
Total de Visitas por Mes
| agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 | enero 2026 | febrero 2026 | |
|---|---|---|---|---|---|---|---|
| Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | 0 | 2 | 7 | 16 | 17 | 15 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| tesis-cluna.pdf | 132 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 61 |
| China | 30 |
| Uruguay | 26 |
| México | 23 |
| Canadá | 15 |
| Ecuador | 12 |
| Perú | 10 |
| Argentina | 9 |
| Colombia | 6 |
| Polonia | 6 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 24 |
| Ottawa | 15 |
| Beijing | 8 |
| Fairfield | 7 |
| Quito | 7 |
| Nanjing | 6 |
| Santa Clara | 6 |
| Guayaquil | 5 |
| Lima | 5 |
| Mexico | 5 |