The list of publications of Prof. Dr. Ahmed Hadj Kacem
by Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Reference:
Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Enhancing Proofs of Local Computations Through Formal Event-B Modularization, In 23rd IEE International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises, IEEE Computer Society, 2014.
Bibtex Entry:
@INPROCEEDINGS{Boussabbeh2014,
author = {Maha Boussabbeh and Mohamed Tounsi and Ahmed Hadj Kacem and Mohamed
Mosbah},
title = {Enhancing Proofs of Local Computations Through Formal Event-B Modularization},
booktitle = {23rd IEE International Conference on Enabling Technologies: Infrastructure
for Collaborative Entreprises},
year = {2014},
publisher = {IEEE Computer Society}
}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