From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking., , , и . SERA, стр. 149-154. IEEE Computer Society, (2016)Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective., , , , и . International Journal of Software Engineering and Knowledge Engineering, 28 (10): 1369-1397 (2018)Survivability prediction of web system based on log statistics., , , , и . SNPD, стр. 13-18. IEEE Computer Society, (2015)Applying Probabilistic Model Checking to Service Discovery Framework., , , и . SCC, стр. 782-785. IEEE Computer Society, (2016)A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking., , , , и . Int. J. Softw. Innov., 3 (2): 24-38 (2015)A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model., , , , и . ACIT-CSI, стр. 73-78. IEEE, (2015)A requirements description language pLSC for probabilistic branches and three-stage events., , и . SNPD, стр. 1-6. IEEE Computer Society, (2014)Research on Multimedia Intelligence Course and Intelligence Classroom Based on Multiple Intelligence Theory., , , и . IIH-MSP, стр. 398-401. IEEE Computer Society, (2010)Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes)., , и . 计算机科学, 42 (12): 120-123 (2015)