TY - THES DP - http://www.theses.fr/2016AZUR4077 TI - Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels AU - Kulankhina, Oleksandra A3 - Madelaine, Éric PY - 2016 N1 - Thèse de doctorat Informatique Université Côte d'Azur (ComUE) 2016 N1 - 2016AZUR4077 UR - http://www.theses.fr/2016AZUR4077/document ER -