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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alireza Souri' in GoogleThis author has not been identified. Look up 'Amir Masoud Rahmani' in GoogleThis author has not been identified. Look up 'Nima Jafari Navimipour' in GoogleThis author has not been identified. Look up 'Reza Rezaei' in Google

runs on WebDSL