Publications

DBLP Google Scholar

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},
}