A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B Conference Paper uri icon

publication date

  • June 1, 2015

published in

  •  

start page

  • 519

end page

  • 526