Remplissez le formulaire ci-dessous afin d’envoyer cette page par courriel Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras
Vérification antispam (obligatoire) Veuillez cocher la case "Je ne suis pas un robot"