The list of publications of Prof. Dr. Ahmed Hadj Kacem
by Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem
Reference:
Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem, Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B, In Proceedings of the 12 th International Conference on Software Engineering and Formal Methods (SEFM), Springer Verlagkeywords=MAS, Formal, 2014.
Bibtex Entry:
@InProceedings{LaibinisSEFM2014,
author = {Linas Laibinis and Elena Troubitsyna and Zeineb Graja and Frédéric Migeon and Ahmed Hadj Kacem},
title = {Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B},
booktitle = {Proceedings of the 12 th International Conference on Software Engineering and Formal Methods (SEFM)},
year = {2014},
LOcation = {Grenoble, France},
publisher = {Springer Verlag}
keywords = {MAS, Formal},
}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