Statistics for Temporal logic runtime verification of dynamic systems
Total visits
| views | |
|---|---|
| Temporal logic runtime verification of dynamic systems | 486 |
Total visits per month
| views | |
|---|---|
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 0 |
| April 2025 | 0 |
| May 2025 | 0 |
File Visits
| views | |
|---|---|
| Seotsanyana_2010.pdf | 411 |
Top country views
| views | |
|---|---|
| United States | 245 |
| France | 44 |
| Germany | 41 |
| South Africa | 27 |
| China | 25 |
| United Kingdom | 17 |
| India | 9 |
| Vietnam | 9 |
| Spain | 8 |
| Russia | 8 |
| Netherlands | 6 |
| Brazil | 3 |
| Canada | 3 |
| Italy | 3 |
| Mexico | 2 |
| Sweden | 2 |
| Singapore | 2 |
| Ukraine | 2 |
| United Arab Emirates | 1 |
| Belgium | 1 |
| Côte d’Ivoire | 1 |
| European Union | 1 |
| Hong Kong SAR China | 1 |
| Japan | 1 |
| South Korea | 1 |
| Lesotho | 1 |
Top city views
| views | |
|---|---|
| Woodbridge | 26 |
| Sunnyvale | 20 |
| Mountain View | 18 |
| Ashburn | 12 |
| Beverly Hills | 12 |
| Southend | 12 |
| Beijing | 11 |
| Seattle | 11 |
| Pretoria | 10 |
| Hanoi | 9 |
| Redwood City | 9 |
| Mcallen | 7 |
| Bengaluru | 5 |
| Chicago | 5 |
| Fullerton | 4 |
| Johannesburg | 4 |
| Wilmington | 4 |
| Englewood | 3 |
| Hamburg | 3 |
| Milan | 3 |
| Moscow | 3 |
| Zhengzhou | 3 |
| Chengdu | 2 |
| Dallas | 2 |
| Dearborn | 2 |
| Indianapolis | 2 |
| Kitchener | 2 |
| La Jolla | 2 |
| Leipzig | 2 |
| Monterrey | 2 |
| Phoenix | 2 |
| Shanghai | 2 |
| Singapore | 2 |
| Ann Arbor | 1 |
| Bhubaneswar | 1 |
| Brussels | 1 |
| Central | 1 |
| Chongqing | 1 |
| Delhi | 1 |
| Des Moines | 1 |
| Everett | 1 |
| Goyang-si | 1 |
| Hyderabad | 1 |
| Jacksonville | 1 |
| Jinan | 1 |
| Kansas City | 1 |
| Karlsruhe | 1 |
| Lenexa | 1 |
| Munich | 1 |
| Nanjing | 1 |
| Newark | 1 |
| Nürnberg | 1 |
| Oakland | 1 |
| Ottawa | 1 |
| Piscataway | 1 |
| Roggebaai | 1 |
| State College | 1 |
| Tokyo | 1 |
| Vadodara | 1 |
| Wuxi | 1 |