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
Απρίλιος 2024 | Μάϊος 2024 | Ιούνιος 2024 | Ιούλιος 2024 | Αύγουστος 2024 | Σεπτέμβριος 2024 | Οκτώβριος 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 | |
---|---|
Ηνωμένες Πολιτείες | 55 |
Κίνα | 9 |
Πολωνία | 6 |
Γαλλία | 3 |
Κύπρος | 2 |
Γερμανία | 2 |
Ιρλανδία | 2 |
Αυστραλία | 1 |
Βέλγιο | 1 |
Ηνωμένο Βασίλειο | 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 |