TY - THES DP - http://www.theses.fr/2019AZUR4096 TI - Un modèle de raisonnement pour les opérateurs de composition logicielle décrits en boite noire AU - Benni, Benjamin A3 - Mosser, Sébastien; Riveill, Michel PY - 2019 N1 - Thèse de doctorat Informatique Université Côte d'Azur (ComUE) 2019 N1 - 2019AZUR4096 UR - http://www.theses.fr/2019AZUR4096/document ER -