
The list of publications of Prof. Dr. Ahmed Hadj Kacem
by Siwar Khelifi, Hatem Hadj Kacem, Ahmed Hadj Kacem
Reference:
Siwar Khelifi, Hatem Hadj Kacem, Ahmed Hadj Kacem, Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures., In Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008),, 2008.
Bibtex Entry:
@INPROCEEDINGS{SHA, author = {Siwar Khelifi and Hatem Hadj Kacem and Ahmed Hadj Kacem}, title = {Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures.}, booktitle = {Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008),}, year = {2008}, owner = {Administrateur}, timestamp = {2009.12.06}, }
ReDCAD
National School of Engineering of Sfax
www.enis.rnu.tn
University of Sfax, Tunisia
www.uss.rnu.tn
Contact
Prof. Dr. Eng. Mohamed Jmaiel
Email: mohamed.jmaiel@enis.rnu.tnWeb: www.redcad.org/members/jmaiel
Phone: +216 74 666 578
Address
National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia