Publications



by Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar
Reference:
Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar, Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets, In New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY at MEDI, 2018.
Bibtex Entry:
@inproceedings{CheikhrouhouCKM18,
  author    = {Saoussen Cheikhrouhou and
               Nesrine Chabouh and
               Slim Kallel and
               Zakaria Maamar},
  title     = {Formal Specification and Verification of Cloud Resource Allocation
               Using Timed Petri-Nets},
  booktitle = {New Trends in Model and Data Engineering - {MEDI} 2018 International
               Workshops, DETECT, MEDI4SG, IWCFS, REMEDY at MEDI},
  pages     = {40--49},
  year      = {2018},
  doi       = {10.1007/978-3-030-02852-7\_4},

}