Statistics
Total Visits
| Visits | |
|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 731 |
Total Visits Per Month
| July 2022 | August 2022 | September 2022 | October 2022 | November 2022 | December 2022 | |
|---|---|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 9 | 1 | 2 | 8 | 5 | 4 |
| February 2023 | March 2023 | May 2023 | June 2023 | |
|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 8 | 9 | 7 | 3 |
| July 2023 | August 2023 | |
|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 7 | 1 |
| January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | |
|---|---|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 9 | 7 | 1 | 17 | 9 | 19 |
| July 2024 | August 2024 | September 2024 | October 2024 | November 2024 | December 2024 | |
|---|---|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 16 | 7 | 26 | 11 | 19 | 16 |
| January 2025 | February 2025 | March 2025 | April 2025 | May 2025 | June 2025 | |
|---|---|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 12 | 8 | 16 | 91 | 48 | 54 |
| July 2025 | August 2025 | September 2025 | October 2025 | November 2025 | December 2025 | |
|---|---|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 16 | 24 | 18 | 10 | 4 | 5 |
| January 2026 | February 2026 | March 2026 | April 2026 | May 2026 | June 2026 | |
|---|---|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 7 | 3 | 9 | 34 | 29 | 22 |
| July 2026 | August 2026 | September 2026 | |
|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 30 | 42 | 28 |
File downloads
| Visits | |
|---|---|
| A methodology for model-based verification of safety contracts and performance requirements.pdf | 359 |
Top Country Visits
| Visits | |
|---|---|
| United States | 333 |
| China | 83 |
| Spain | 63 |
| Vietnam | 33 |
| Singapore | 23 |
| Japan | 22 |
| Brazil | 19 |
| Argentina | 12 |
| India | 12 |
| Australia | 11 |
Top Cities Visits
| Visits | |
|---|---|
| San Mateo | 123 |
| Vitoria-Gasteiz | 49 |
| Boardman | 18 |
| Singapore | 15 |
| Shanghai | 13 |
| Ashburn | 12 |
| San Jose | 9 |
| Ho Chi Minh City | 7 |
| Mumbai | 7 |
| Mountain View | 6 |
