Statistics
Total Visits
| Visits | |
|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 542 |
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 |
| January 2023 | February 2023 | March 2023 | April 2023 | May 2023 | June 2023 | |
|---|---|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 0 | 8 | 9 | 0 | 7 | 3 |
| July 2023 | August 2023 | September 2023 | October 2023 | November 2023 | December 2023 | |
|---|---|---|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 7 | 1 | 0 | 0 | 0 | 0 |
| 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 | |
|---|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 7 | 3 | 5 |
File downloads
| Visits | |
|---|---|
| A methodology for model-based verification of safety contracts and performance requirements.pdf | 230 |
Top Country Visits
| Visits | |
|---|---|
| United States | 266 |
| China | 63 |
| Spain | 53 |
| Vietnam | 25 |
| Japan | 19 |
| Singapore | 19 |
| Brazil | 18 |
| Australia | 11 |
| Germany | 11 |
| India | 11 |
Top Cities Visits
| Visits | |
|---|---|
| San Mateo | 122 |
| Vitoria-Gasteiz | 48 |
| Boardman | 18 |
| Shanghai | 13 |
| Singapore | 13 |
| Ashburn | 11 |
| Ho Chi Minh City | 7 |
| Mumbai | 7 |
| Buffalo | 4 |
| Placentia | 4 |
