Fairouz Fakhfakh, Slim Kallem, Saoussen Cheikhrouhou. Formal Verification of Cloud and Fog Systems: A Review and Research Challenges. J. UCS, 27(1):341-363, 2021. [doi]
@article{FakhfakhKC21,
title = {Formal Verification of Cloud and Fog Systems: A Review and Research Challenges},
author = {Fairouz Fakhfakh and Slim Kallem and Saoussen Cheikhrouhou},
year = {2021},
doi = {10.3897/jucs.66455},
url = {https://doi.org/10.3897/jucs.66455},
researchr = {https://researchr.org/publication/FakhfakhKC21},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {27},
number = {1},
pages = {341-363},
}