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

researchr

You are not signed in
Sign in
Sign up

Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li. WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 485-489, Springer, 2010. [doi]

This author has not been identified. Look up 'Pengcheng Zhang' in GoogleThis author has not been identified. Look up 'Zhiyong Su' in GoogleThis author has not been identified. Look up 'Yuelong Zhu' in GoogleThis author has not been identified. Look up 'Wenrui Li' in GoogleThis author has not been identified. Look up 'Bixin Li' in Google

runs on WebDSL