Guaranteeing Timed Opacity using Parametric Timed Model Checking
Article in ACM Transactions on Software Engineering and Methodology (September 2022)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Article in ACM Transactions on Software Engineering and Methodology (September 2022)
Article in Logical Methods in Computer Science (February 2022)
Article in ACM SIGLOG News (April 2020)