by Fairouz Fakhfakh, Slim Kallel, Saoussen Cheikhrouhou
Reference:
Fairouz Fakhfakh, Slim Kallel, Saoussen Cheikhrouhou, Formal Verification of Cloud and Fog Systems: A Review and Research Challenges, In J. Univers. Comput. Sci., volume 27, 2021.
Bibtex Entry:
@article{DBLP:journals/jucs/FakhfakhKC21, author = {Fairouz Fakhfakh and Slim Kallel and Saoussen Cheikhrouhou}, title = {Formal Verification of Cloud and Fog Systems: {A} Review and Research Challenges}, journal = {J. Univers. Comput. Sci.}, volume = {27}, number = {4}, pages = {341--363}, year = {2021}, url = {https://doi.org/10.3897/jucs.66455}, doi = {10.3897/jucs.66455}, }