External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets

Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar. Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. In El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez 0001, editors, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 929 of Communications in Computer and Information Science, pages 40-49, Springer, 2018. [doi]

Authors

Saoussen Cheikhrouhou

This author has not been identified. Look up 'Saoussen Cheikhrouhou' in Google

Nesrine Chabouh

This author has not been identified. Look up 'Nesrine Chabouh' in Google

Slim Kallel

This author has not been identified. Look up 'Slim Kallel' in Google

Zakaria Maamar

This author has not been identified. Look up 'Zakaria Maamar' in Google
runs on