Formally Modeling and Analyzing the Reliability of Composite Service Evolution.

Guisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu

Browse the full TASE paper archive.