Statistics: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Geo Map
Region
#
EU - Europe
8
NA - North America
2
OC - Oceania
1
Total
11
Country
#
IE - Ireland
4
AT - Austria
2
US - United States of America
2
DE - Germany
1
GB - United Kingdom
1
NZ - New Zealand
1
Total
11
City
#
Dublin
2
Dallas
1
Invercargill
1
Letterkenny
1
Mansfield
1
Tullamore
1
Wandsworth
1
Unknown
3
Total
11
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2022
0 0
0 0 0 0
0 2 0 0
0 0
2
2023
0 0
0 0 0 0
0 2 0 1
1 0
4
2024
0 5
0 0 0 0
0 0 0 0
0 0
5
Ever
11
Geo Map
Region | # |
---|---|
EU - Europe | 8 |
NA - North America | 2 |
OC - Oceania | 1 |
Total | 11 |
Country | # |
---|---|
IE - Ireland | 4 |
AT - Austria | 2 |
US - United States of America | 2 |
DE - Germany | 1 |
GB - United Kingdom | 1 |
NZ - New Zealand | 1 |
Total | 11 |
City | # |
---|---|
Dublin | 2 |
Dallas | 1 |
Invercargill | 1 |
Letterkenny | 1 |
Mansfield | 1 |
Tullamore | 1 |
Wandsworth | 1 |
Unknown | 3 |
Total | 11 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2022 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 2 |
2023 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 1 | 1 | 0 | 4 |
2024 | 0 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5 |
Ever | 11 |