@article{RNTI/papers/1001805,
  author    = {Mourad Kmimech and Mohamed Tahar Bhiri and Mohamed Graiet and Philippe Aniorté},
  title     = {Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0},
  journal = {Revue des Nouvelles Technologies de l'Information},
  volume = {Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, RNTI-L-6},
  year      = {2012},
  pages     = {93-117}
}