Prof. Dr.-Ing. Mohamed Jmaiel

The list of publications of Prof. Dr. Mohamed Jmaiel


by Mohamed Jmaiel
Reference:
Mohamed Jmaiel, A Unified Algebraic Framework for Specifying Communication Protocols, In Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, Chapman and Hall, 2000.
Bibtex Entry:
@INPROCEEDINGS{icfem2000,
author = {Mohamed Jmaiel},
title = {A Unified Algebraic Framework for Specifying Communication
Protocols},
booktitle = {Proceedings of the 3rd IEEE International Conference on
Formal Engineering Methods},
year = {2000},
pages = {57--67},
address = {York, England},
month = {September},
publisher = {Chapman and Hall},
days = {4--7},
doi = {10.1109/ICFEM.2000.873805},
keywords  = {Formal},
timestamp = {2009.11.03}
}


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