Documents dont l'auteur est "El Touati, Yamen"

Pour citer ou exporter
Nombre de documents: 2

Auteur ou autrice

Ammar, I., El Touati, Y., Mullins, J., & Yeddes, M. (2021). Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. International Journal of Foundations of Computer Science, 32(2), 175-202. Lien externe

Ammar, I., El Touati, Y., Yeddes, M., & Mullins, J. (2021). Bounded opacity for timed systems. Journal of Information Security and Applications, 61, 13 pages. Lien externe

Liste produite: Fri Oct 16 18:14:56 2026 EDT.