Statistics
Total Visits
| Visits | |
|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 148 |
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 | |
|---|---|---|
| A methodology for model-based verification of safety contracts and performance requirements | 16 | 6 |
File downloads
| Visits | |
|---|---|
| A methodology for model-based verification of safety contracts and performance requirements.pdf | 117 |
Top Country Visits
| Visits | |
|---|---|
| United States | 64 |
| Spain | 51 |
| China | 13 |
| Germany | 4 |
| Japan | 4 |
| Singapore | 3 |
| Australia | 1 |
| Canada | 1 |
| France | 1 |
Top Cities Visits
| Visits | |
|---|---|
| Vitoria-Gasteiz | 48 |
| Shanghai | 13 |
| Ashburn | 8 |
| Boardman | 5 |
| Madrid | 3 |
| Brisbane | 1 |
| Cape Coral | 1 |
| San Mateo | 1 |
