TY - THES DP - http://www.theses.fr/2010TOU30309 TI - Méthodes et outils pour l'aide à la conception et à la vérification du rendu graphique des systèmes interactifs AU - Tabart, Gilles A3 - Palanque, Philippe; Conversy, Stéphane PY - 2010 SP - 1 vol. (272 p.) N1 - Thèse de doctorat Informatique Toulouse 3 2010 N1 - 2010TOU30309 ER -