Total Visits

Views
Statistical model checking in approximate computing systems495

File Visits

Downloads
TFG-G4620.pdf166

Select a period of time:

ViewsDownloads

Number of views in the range

Views
Statistical model checking in approximate computing systems132

Number of downloads in the range

Downloads
TFG-G4620.pdf40

Views

Views
September 20256
October 20257
November 202539
December 202531
January 202629
February 202612
March 20268
Download CSV file
 
Bar graph
 
Line graph

Number of downloads in the period of time

  • Downloads
  • September 2025
    4
  • October 2025
    2
  • November 2025
    18
  • December 2025
    2
  • January 2026
    4
  • February 2026
    8
  • March 2026
    2
 
Bar graph
 
Line graph

Top country views

Views
United States94
China11
Brazil4
Spain2
United Kingdom2
Hong Kong2
South Korea2
Russia2
Chile2
Argentina1

Top countries by downloads

Downloads
United States18
China7
Hong Kong7
United Kingdom2

Top cities views

Views
Los Angeles19
Dallas7
Ashburn3
Hefei2
New York2
Seoul2
Valladolid2
Atlanta2
Aberystwyth1
Cachoeirinha1

Top cities by downloads

Downloads
Los Angeles1
Ashburn1