Vistas y estadísticas descargadas: Especificación y verificación formal de un sistema de administración de redes distribuido con árbitro
Mapa geográfico
| Región | # |
|---|---|
| NA - América del Norte | 50 |
| AS - Asia, otros | 21 |
| EU - Europa | 17 |
| Total | 88 |
| País | # |
|---|---|
| US - Estados Unidos de América | 50 |
| SG - Singapur | 20 |
| IE - Irlanda | 7 |
| ES - España | 5 |
| DE - Alemania | 3 |
| CN - China | 1 |
| RU - Federación Rusa | 1 |
| SE - Suecia | 1 |
| Total | 88 |
| Ciudad | Cantidad |
|---|---|
| Dublin | 7 |
| Singapore | 5 |
| Ashburn | 4 |
| Santa Clara | 4 |
| Chandler | 2 |
| Frankfurt am Main | 2 |
| Las Palmas de Gran Canaria | 2 |
| Telde | 2 |
| Council Bluffs | 1 |
| Des Moines | 1 |
| other | 58 |
| Total | 88 |
| Ene | Feb | Mar | Abr | May | Jun | Jul | Ago | Sep | Oct | Nov | Dic | Tot | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2021 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 2 | 0 | 0 | 6 |
| 2022 | 0 | 1 | 0 | 0 | 2 | 1 | 0 | 0 | 1 | 4 | 0 | 3 | 12 |
| 2023 | 0 | 1 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 1 | 6 |
| 2024 | 5 | 1 | 1 | 13 | 2 | 0 | 5 | 19 | 8 | 5 | 1 | 1 | 61 |
| 2025 | 0 | 1 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 |
| TOTAL | 88 | ||||||||||||