You want to send the following page to a friend: Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras
Vérification antispam (required) Veuillez cocher la case "Je ne suis pas un robot"