Total Visits

Views
Statistical model checking in approximate computing systems420

File Visits

Downloads
TFG-G4620.pdf151

Select a period of time:

ViewsDownloads

Number of views in the range

Views
Statistical model checking in approximate computing systems86

Number of downloads in the range

Downloads
TFG-G4620.pdf39

Views

Views
June 20254
July 202510
August 202515
September 20256
October 20257
November 202539
December 20255
Download CSV file
 
Bar graph
 
Line graph

Number of downloads in the period of time

  • Downloads
  • June 2025
    6
  • July 2025
    2
  • August 2025
    6
  • September 2025
    4
  • October 2025
    2
  • November 2025
    18
  • December 2025
    1
 
Bar graph
 
Line graph

Top country views

Views
United States43
China13
Spain10
Venezuela6
Russia4
Singapore2
South Korea2
Argentina1
Bangladesh1
Brazil1

Top countries by downloads

Downloads
United States19
China7
Spain2
Venezuela1

Top cities views

Views
Inca8
Los Angeles5
Dallas4
Hefei3
Shanghai2
Valladolid2
Seoul2
Atlanta1
Beijing1
Central1

Top cities by downloads

Downloads
Central6
Inca1
Los Angeles1