statistiche per Safety Assessment of AltaRica Models via Symbolic Model Checking
Distribuzione geografica
Continente | # |
---|---|
NA - Nord America | 23 |
EU - Europa | 6 |
AS - Asia | 2 |
Totale | 31 |
Nazione | # |
---|---|
US - Stati Uniti d'America | 23 |
IT - Italia | 5 |
CN - Cina | 2 |
BG - Bulgaria | 1 |
Totale | 31 |
Città | # |
---|---|
Como | 5 |
Wilmington | 5 |
Ashburn | 4 |
Fairfield | 4 |
Woodbridge | 4 |
Beijing | 2 |
Houston | 2 |
Ann Arbor | 1 |
San Diego | 1 |
San Mateo | 1 |
Seattle | 1 |
Sofia | 1 |
Totale | 31 |
Totale | Lug | Ago | Sett | Ott | Nov | Dic | Gen | Feb | Mar | Apr | Mag | Giu | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2019/2020 | 12 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 8 | 2 | 2 |
2020/2021 | 18 | 0 | 3 | 7 | 2 | 0 | 0 | 0 | 2 | 0 | 2 | 0 | 2 |
2021/2022 | 6 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 3 | 2 | 0 | 0 | 0 |
Totale | 36 |