Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou. Vérification formelle d architectures logicielles à base d UML. L OBJET, 14(1-2):61-86, 2008. [doi]
@article{BhiriGGH08,
title = {Vérification formelle d architectures logicielles à base d UML},
author = {Mohamed Tahar Bhiri and Mohamed Graiet and Jean-Pierre Giraudin and Abdelmajid Ben Hamadou},
year = {2008},
url = {http://objet.revuesonline.com/article.jsp?articleId=11915},
tags = {rule-based, architecture, UML},
researchr = {https://researchr.org/publication/BhiriGGH08},
cites = {0},
citedby = {0},
journal = {L OBJET},
volume = {14},
number = {1-2},
pages = {61-86},
}