Statistics
Total Visits
| Visits | |
|---|---|
| A ... | 426 |
Total Visits Per Month
| December 2024 | January 2025 | February 2025 | March 2025 | April 2025 | May 2025 | June 2025 | |
|---|---|---|---|---|---|---|---|
| A ... | 16 | 12 | 8 | 16 | 91 | 48 | 30 |
File downloads
| Visits | |
|---|---|
| A methodology for model-based verification of safety contracts and performance requirements.pdf | 172 |
Top Country Visits
| Visits | |
|---|---|
| United States | 239 |
| Spain | 53 |
| China | 33 |
| Singapore | 19 |
| Australia | 11 |
| Japan | 11 |
| Vietnam | 10 |
| Germany | 8 |
| India | 8 |
| Brazil | 7 |
Top Cities Visits
| Visits | |
|---|---|
| San Mateo | 112 |
| Vitoria-Gasteiz | 48 |
| Boardman | 18 |
| Shanghai | 13 |
| Singapore | 13 |
| Ashburn | 9 |
| Mumbai | 7 |
| Placentia | 4 |
| Buffalo | 3 |
| Ho Chi Minh City | 3 |
