Publications

DBLP Google Scholar

by Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
Reference:
Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem, Modeling and Verifying Time-aware Processes for Cyber-Physical Environments, In IET Software, volume 11, 2019.
Bibtex Entry:
@Article{Graja2018a,
  author  = {Imen Graja and Slim Kallel and Nawal Guermouche and Saoussen Cheikhrouhou and Ahmed Hadj Kacem},
  title   = {Modeling and Verifying Time-aware Processes for Cyber-Physical Environments},
  journal = {IET Software},
  year    = {2019},
  volume  = {11},
  doi     = {10.1049/iet-sen.2018.5034},
}