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, Towards a Formal Methodology for Developing Multi-Agent Applications using Temporal \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005.
Bibtex Entry:
@INPROCEEDINGS{aiccsa051,
author = {Amira Regayeg and Ahmed Hadj Kacem and Mohamed Jmaiel},
title = {Towards a Formal Methodology for Developing Multi-Agent
Applications using Temporal \mbox{Z}},
booktitle = {The 3rd ACS/IEEE International Conference on Computer
Systems and Applications (AICCSA'05)},
year = {2005},
address = {Cairo, Egypt},
month = {January},
doi = {10.1109/AICCSA.2005.1387112}
}


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