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

A Souri, AM Rahmani, NJ Navimipour, R Rezaei - Cluster Computing, 2020 - Springer
Today, cloud providers represent their individual services with several functional and non-
functional properties in various environments. Discovering and selecting an appropriate …
被引用次数：62 相关文章

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

A Souri, AM Rahmani, NJ Navimipour… - Cluster …, 2020 - search.proquest.com
Today, cloud providers represent their individual services with several functional and non-
functional properties in various environments. Discovering and selecting an appropriate …

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

A Souri, AM Rahmani, NJ Navimipour, R Rezaei - Cluster Computing, 2020 - dl.acm.org
Today, cloud providers represent their individual services with several functional and non-
functional properties in various environments. Discovering and selecting an appropriate …