Automatic

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

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

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