Statistics
Total Visits
| Visits | |
|---|---|
| A ... | 467 |
Total Visits Per Month
| February 2025 | March 2025 | April 2025 | May 2025 | June 2025 | July 2025 | August 2025 | |
|---|---|---|---|---|---|---|---|
| A ... | 8 | 16 | 91 | 48 | 54 | 16 | 1 |
File downloads
| Visits | |
|---|---|
| A methodology for model-based verification of safety contracts and performance requirements.pdf | 184 |
Top Country Visits
| Visits | |
|---|---|
| United States | 251 |
| Spain | 53 |
| China | 34 |
| Singapore | 19 |
| Vietnam | 17 |
| Brazil | 15 |
| Japan | 12 |
| Australia | 11 |
| Germany | 8 |
| India | 8 |
Top Cities Visits
| Visits | |
|---|---|
| San Mateo | 120 |
| Vitoria-Gasteiz | 48 |
| Boardman | 18 |
| Shanghai | 13 |
| Singapore | 13 |
| Ashburn | 9 |
| Mumbai | 7 |
| Ho Chi Minh City | 6 |
| Placentia | 4 |
| Buffalo | 3 |
