Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice
Article in ACM Computing Surveys (December 2022)
The most recent citing publications are shown below. View all 8 publications that cite this research output on Dimensions.
Article in ACM Computing Surveys (December 2022)
Preprint in SSRN Electronic Journal (January 2022)
Conference proceeding (October 2018)