Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.
['Mourad Kmimech', 'Mohamed Tahar Bhiri', 'Mohamed Graiet', 'Philippe Aniorté']
Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.