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 2022August 2022September 2022October 2022November 2022December 2022January 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.1754432

Top country views

Views
United States38
Poland6
China3
France3
Germany1
Hong Kong1
Iran1
Italy1
Russia1
Sweden1

Top cities views

Views
Louisville23
San Ramon9
Warsaw6
Shanghai3
Des Moines2
Central District1
Falls Church1
Lauda-königshofen1
Mountain View1
Redwood City1