Modélisation et simulation

Analysis of timed automata with guards in dioids algebra

Publié le 30 mai 2016 - WODES 2016, 13th International Workshop on Discrete Event Systems

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