Statistik för Formal Verification of UML-RT Capsules using Model Checking
Totalt antal besök
| views | |
|---|---|
| Formal Verification of UML-RT Capsules using Model Checking | 62 |
Totalt antal besök per månad
| views | |
|---|---|
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
Nedladdningar
| views | |
|---|---|
| 117319.pdf | 41 |
Visningar per land (topp)
| views | |
|---|---|
| Germany | 23 |
| Sweden | 20 |
| United States | 6 |
| Spain | 4 |
| France | 2 |
| Denmark | 1 |
| Hong Kong SAR China | 1 |
| Russia | 1 |
| Singapore | 1 |
| Turkey | 1 |
| Taiwan | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Cadiz | 4 |
| Frankfurt am Main | 4 |
| Gothenburg | 3 |
| Stockholm | 3 |
| Ashburn | 2 |
| Central | 1 |
| Copenhagen | 1 |
| Des Moines | 1 |
| Istanbul | 1 |
| Jarrie | 1 |
| Lindome | 1 |
| Mountain View | 1 |
| Pierrefontaine-les-Varans | 1 |
| Singapore | 1 |
| Taby | 1 |
| Taipei | 1 |
| Uppsala | 1 |
| Urshult | 1 |
| Örebro | 1 |