WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.

Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li

Browse the full RV paper archive.