TY - THES DP - http://www.theses.fr/2016INPT0057 TI - Systematic use of models of concurrency in executable domain-specific modelling languages AU - Latombe, Florent A3 - Aït-Ameur, Yamine; Crégut, Xavier PY - 2016 N1 - Thèse de doctorat Sureté de Logiciel et Calcul à Haute Performance Toulouse, INPT 2016 N1 - 2016INPT0057 UR - http://www.theses.fr/2016INPT0057/document ER -