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

Title
Formal Verification of Cloud and Fog Systems:A Review and Research Challenges
Authors
Keywords
-
Journal
JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Volume 27, Issue 4, Pages 341-363
Publisher
Pensoft Publishers
Online
2021-04-29
DOI
10.3897/jucs.66455

Ask authors/readers for more resources

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now