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. | 74 |
Total Visits Per Month
October 2023 | November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 | |
---|---|---|---|---|---|---|---|
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 | 0 | 5 | 3 | 0 | 3 | 1 |
Top country views
Views | |
---|---|
United States | 52 |
Poland | 6 |
China | 3 |
France | 3 |
Cyprus | 2 |
Ireland | 2 |
Germany | 1 |
Hong Kong | 1 |
Iran | 1 |
Italy | 1 |
Top cities views
Views | |
---|---|
Louisville | 26 |
San Ramon | 9 |
Warsaw | 6 |
Boardman | 5 |
Shanghai | 3 |
Des Moines | 2 |
Dublin | 2 |
Limassol | 2 |
Mountain View | 2 |
San Mateo | 2 |