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.62

Total Visits Per Month

June 2023July 2023August 2023September 2023October 2023November 2023December 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.0021100

Top country views

Views
United States42
Poland6
China3
France3
Ireland2
Germany1
Hong Kong1
Iran1
Italy1
Russia1

Top cities views

Views
Louisville24
San Ramon9
Warsaw6
Shanghai3
Des Moines2
Dublin2
Mountain View2
Central District1
Costa Mesa1
Fairfield1