Prof. Dr.-Ing. Ahmed Hadj Kacem
DBLP

The list of publications of Prof. Dr. Ahmed Hadj Kacem


by Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
Reference:
Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Specification and Verification of Multi-agent Applications using Temporal \mboxZ, In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2004 (IAT'2004), 2004.
Bibtex Entry:
@INPROCEEDINGS{iat04,
author = {Amira Regayeg and Ahmed Hadj Kacem and Mohamed Jmaiel},
title = {Specification and Verification of Multi-agent Applications
using Temporal \mbox{Z}},
booktitle = {Proceedings of the IEEE/WIC/ACM International
Conference on Intelligent Agent Technology 2004
(IAT'2004)},
year = {2004},
pages = {260--266},
address = {Beijing, China},
month = {September},
days = {20--24},
doi = {10.1109/IAT.2004.1342953}
}


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.tn
Web: 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