TY - THES DP - http://www.theses.fr/2009GRE10239 TI - Étude et mise en oeuvre de techniques de validation à l'exécution AU - Falcone, Yliès Carlo A3 - Fernandez, Jean-ClaudeMounier, Laurent; Richier, Jean-Luc PY - 2009 SP - 1 vol. (258 p.) N1 - Thèse de doctorat Informatique Université Joseph Fourier (Grenoble ; 1971-2015) 2009 N1 - 2009GRE10239 ER -