Verifying Mediated Service Interactions Considering Expected Behaviors

ZhangBing Zhou, Laurence Tianruo Yang, Sami Bhiri, Lei Shu, Naixue Xiong, Manfred Hauswirth

ournal of Network and Computer Applications
,
34
(
4
), :
1043-1053
,
ELSEVIER
,
2011
.
Journal / Refereed Original Article
Project: 
Líon 2