( en | de | ru )

 

Disambiguation of "Kai, Jinyu"

Author of the publication

copydeleteadd this publication to your clipboard
Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.

, , , and . SERA, page 149-154. IEEE Computer Society, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Jinyu Kang

Jinyu Zhao

Kai-Kai Shen

Kai Zehmisch

Singularities and self-intersections of holomorphic discs. Uni Leipzig, (2009)

Kai Schöneboom

Analyse und Vergleich der Anwendung von alter und neuer TASC-Klassifikation auf das Akutergebnis der interventionellen Behandlung der peripheren arteriellen Verschlusskrankheit. TU Aachen, (2009)
 

Other publications of authors with the same name

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