Formal Verification of Cloud and Fog Systems:A Review and Research Challenges

Fairouz Fakhfakh; Slim Kallel; Saoussen Cheikhrouhou

doi:10.3897/jucs.66455

Research Article

JUCS - Journal of Universal Computer Science 27(4): 341-363
https://doi.org/10.3897/jucs.66455 (28 Apr 2021)

Other versions:

(Verbatim name)

(Catalog Number)

DES

Invalid DOI was provided, please try again

(3)

Sheraz Mazhar, Abdur Rakib, Lei Pan, Frank Jiang, Adnan Anwar, Robin Doss, Jeremy Bryans (2024)
State-of-the-art authentication and verification schemes in VANETs: A survey. Vehicular Communications 49: 100804.

DOI: 10.1016/j.vehcom.2024.100804

Fairouz Fakhfakh, Saoussen Cheikhrouhou, Bouthaina Dammak, Monia Hamdi, Mouna Rekik (2023)
Multi-objective approach for scheduling time-aware business processes in cloud-fog environment. The Journal of Supercomputing 79: 8153.

DOI: 10.1007/s11227-022-04690-2

Amel Mammar, Meriem Belguidoum, Saddam Hocine Hiba (2024)
A formal approach for the correct deployment of cloud applications. Science of Computer Programming 232: 103048.

DOI: 10.1016/j.scico.2023.103048

This website uses cookies in order to improve your web experience. Read our Cookies Policy