Prof. Dr.-Ing. Ahmed Hadj Kacem
DBLP

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


by Imen Graja, Slim Kallel, Nawal guermouche, Ahmed Hadj Kacem
Reference:
Imen Graja, Slim Kallel, Nawal guermouche, Ahmed Hadj Kacem, Modeling and verification of temporal properties in Cyber-Physical Systems, In Proceedings of the 14th Annual IEEE Consumer Communications & Networking Conference (CCNC 2017), 2017.
Bibtex Entry:
@inproceedings{Graja17a,
  author    = {Imen Graja and
               Slim Kallel and
               Nawal guermouche and
				Ahmed Hadj Kacem},
  title     = {Modeling and verification of temporal properties in Cyber-Physical Systems},
  booktitle = {Proceedings of the 14th Annual IEEE Consumer Communications & Networking Conference {(CCNC 2017)}},
  pages     = {},
  year      = {2017},
}


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