TY - THES DP - http://www.theses.fr/2011NICE4042 TI - Technique de programmation par contraintes pour la vérification bornée des programmes : une stratégie non-séquentielle appliquée à un système embarqué critique AU - Nguyen, Le-Vinh A3 - Rueher, Michel; Collavizza, Hélène PY - 2011 SP - 1 vol. (120 p.) N1 - Thèse de doctorat Informatique Nice 2011 N1 - 2011NICE4042 ER -