Publications

DBLP Google Scholar

by Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Reference:
Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems, In Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference (CCNC 2017), 2017.
Bibtex Entry:
@inproceedings{GrajaMKGK17,
  author    = {Imen Graja and Aicha Mechim and Slim Kallel and Nawal Guermouche and Ahmed Hadj Kacem},
  title     = {Demonstrating {BPMN4CPS:} Modeling anc verification of cyber-physical systems},
  booktitle = {Proceedings of the 14th {IEEE} Annual Consumer Communications {\&} Networking Conference ({CCNC} 2017)},
  pages     = {593},
  year      = {2017},
  doi       = {10.1109/SCC.2017.47},
address = {Las Vegas, NV, USA},

}