Modélisation et simulation

Analysis of timed automata with guards in dioids algebra

Published on - WODES 2016, 13th International Workshop on Discrete Event Systems

Authors: Julien Niguez, Saïd Amari, Jean-Marc Faure