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. | 87 |
Total Visits Per Month
April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | October 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. | 2 | 1 | 1 | 0 | 8 | 2 | 0 |
Top country views
Views | |
---|---|
United States | 55 |
China | 9 |
Poland | 6 |
France | 3 |
Cyprus | 2 |
Germany | 2 |
Ireland | 2 |
Australia | 1 |
Belgium | 1 |
United Kingdom | 1 |
Top cities views
Views | |
---|---|
Louisville | 26 |
San Ramon | 9 |
Boardman | 6 |
Warsaw | 6 |
Beijing | 4 |
Shanghai | 3 |
Des Moines | 2 |
Dublin | 2 |
Limassol | 2 |
Mountain View | 2 |