Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. - Thomas, Frédéric; Delatour, Jérôme; Terrier, François; Brun, Matthias; Gérard, Sébastien (CoRR, 2014)