@INPROCEEDINGS{Riadh07NOTERE,
author = {Riadh Ben Halima and Mohamed Jmaiel and Khalil Drira},
title = {Une approche orient\'{e}e r\`{e}gle pour la
sp\'{e}cification formelle des architectures
dynamiquement configurables},
booktitle = {{Actes de la 7\`{e}me Conf\'{e}rence Internationale sur
les NOuvelles TEchnologies de la REpartition {NOTERE
2007}}},
year = {2007},
pages = {405--412},
address = {Marrakech, Maroc},
month = {June},
keywords  = {Formal},
}