Statistics
Total Visits
| Views | |
|---|---|
| Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ⁎⁎This work was carried out within the project SyTec - Systematic Testing of Cyber-Physical Systems, a Swedish Science Foundation grant for strong research environment. The support is gratefully acknowledged. | 56 |
Total Visits Per Month
| July 2022 | August 2022 | September 2022 | October 2022 | November 2022 | December 2022 | January 2023 | |
|---|---|---|---|---|---|---|---|
| Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ⁎⁎This work was carried out within the project SyTec - Systematic Testing of Cyber-Physical Systems, a Swedish Science Foundation grant for strong research environment. The support is gratefully acknowledged. | 1 | 7 | 5 | 4 | 4 | 3 | 2 |
Top country views
| Views | |
|---|---|
| United States | 38 |
| Poland | 6 |
| China | 3 |
| France | 3 |
| Germany | 1 |
| Hong Kong | 1 |
| Iran | 1 |
| Italy | 1 |
| Russia | 1 |
| Sweden | 1 |
Top cities views
| Views | |
|---|---|
| Louisville | 23 |
| San Ramon | 9 |
| Warsaw | 6 |
| Shanghai | 3 |
| Des Moines | 2 |
| Central District | 1 |
| Falls Church | 1 |
| Lauda-königshofen | 1 |
| Mountain View | 1 |
| Redwood City | 1 |