TY - THES DP - http://www.theses.fr/2015GREAM007 TI - Modèles de calculs flot de données avec paramètres entiers et booléens. Modélisation - Analyses - Mise en oeuvre AU - Bempelis, Evangelos A3 - Girault, Alain; Fradet, Pascal PY - 2015 N1 - Thèse de doctorat Informatique Université Grenoble Alpes (ComUE) 2015 N1 - 2015GREAM007 UR - http://www.theses.fr/2015GREAM007/document ER -