Statistics: Formal Methods in System Design

From:   ever     To:   now     Change data
Email Alert
RSS Feed

Geo Map

Save as a PNG Save as a JPEG
Region #
NA - North America 162
EU - Europe 57
AS - Asia, other 17
Unknown 29
Total 265
Save as a PNG Save as a JPEG
Country #
US - United States of America 162
AT - Austria 22
CN - China 10
DE - Germany 9
RU - Russian Federation 8
CZ - Czech Republic 6
FR - France 6
FI - Finland 2
HK - Hong Kong 2
IN - India 2
other - Other Country 36
Total 265
Save as a PNG Save as a JPEG
City #
Ashburn 25
Council Bluffs 24
Vienna 19
Chicago 6
Des Moines 6
Los Angeles 5
Seattle 5
Beijing 3
Albany 2
Bengaluru 2
other 168
Total 265
Save as a PNG Save as a JPEG
Most downloaded files #
ID: 643 - Tabaei Befrouei Mitra - 2016 - Abstraction and mining of traces to explain...pdf - ITEM:( 20.500.12708/328) 146
Total 146
Save as a PNG Save as a JPEG


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2020 03 3385 6121 80 40
2021 296 13342 65517 134 107
2022 41 68187 24198 26 85
2023 82 1105 1050 31 27
2024 12 1200 0000 00 6
Ever 265