Automatic

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

Publié le 29 mai 2020 - International Journal of Systems Science

Auteurs : Fatima Ait Oumeziane, Kara Redouane, Said Amari