Fatima Ait Oumeziane

According to our database, Fatima Ait Oumeziane authored at least 2 papers in 2020.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2020

Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras.

Fatima Ait Oumeziane, Redouane Kara, Saïd Amari

Int. J. Syst. Sci., 2020

Analysis of distributed control systems using timed automata with guards and dioid algebra.

Fatima Ait Oumeziane, Alain Ourghanlian, Saïd Amari

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020