Formalisation d'une méthode de diagnostic de systèmes (max,+)-linéaires incertains
Origin : Files produced by the author(s)