A hybrid formal verification approach for QoS-aware multi-cloud service composition

Alireza Souri, Amir Masoud Rahmani, Nima Jafari Navimipour, Reza Rezaei. A hybrid formal verification approach for QoS-aware multi-cloud service composition. Cluster Computing, 23(4):2453-2470, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.