Formal Verification of Cloud and Fog Systems:A Review and Research Challenges
Cloud and Fog computing have been widely recognized as attractive solutions in both academic and industrial sectors. Despite their benefits, the adoption of Cloud and Fog computing still have considerable challenges to be handled due to the increase of client requirements. A crucial issue, in this c...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Graz University of Technology
2021-04-01
|
Series: | Journal of Universal Computer Science |
Subjects: | |
Online Access: | https://lib.jucs.org/article/66455/download/pdf/ |