Automatic

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

Published on 29 May 2020 - International Journal of Systems Science

Authors: Fatima Ait Oumeziane, Kara Redouane, Said Amari