A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.

Published in: ICWS (2015)

Keyphrases