Author:
Spriet Anthony,Lime Didier,Roux Olivier H.
Publisher
Springer Nature Switzerland
Reference16 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Ammar, I., El Touati, Y., Yeddes, M., Mullins, J.: Bounded opacity for timed systems. J. Inf. Secur. Appl. 61, 102926 (2021)
3. André, É., Kryukov, A.: Parametric non-interference in timed automata. In: Proceedings of the 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 37–42. IEEE (2020)
4. André, É., Lime, D., Marinho, D., Sun, J.: Guaranteeing timed opacity using parametric timed model checking. ACM Trans. Softw. Eng. Methodol. 31(4), 1–36 (2022)
5. Arnold, A.: Finite Transition Systems. Prentice Hall (1994)