Automatic

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

Publié le - The 25th Annual Conference on Emerging Technologies and Factory Automation (ETFA 2020)

Auteurs : Fatima Ait Oumeziane, Alain Ourghanlian, Saïd Amari