( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.

, , , и . SERA, стр. 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.

Xiaodan Miao

Jianmin Miao

Miao Zhang

Bingqi Miao

Jinsong Miao

 

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

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)基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information)., , и . 计算机科学, 42 (9): 154-158 (2015)Research on the dynamic reconfiguration of Web application using two-phase compatibility verification., и . Int. J. Comput. Math., 90 (11): 2265-2278 (2013)Guest Editors' Introduction., и . International Journal of Software Engineering and Knowledge Engineering, 26 (4): 537-538 (2016)AGT4W: Automatic Generating Tests for Web Applications., , и . ICFCE, том 133 из Advances in Intelligent and Soft Computing, стр. 885-892. Springer, (2011)Formal Semantics of OWL-S with F-Logic., , и . Computer and Information Science, том 208 из Studies in Computational Intelligence, Springer, (2009)Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things., , , , и . Secur. Commun. Networks, (2018)A Rewriting Based Model for Nondeterministic Composite Web Service System., и . ICEBE, стр. 492-499. IEEE Computer Society, (2007)Modeling and Composition of Web Application Components using Extended FSM., и . ICNC (6), стр. 363-368. IEEE Computer Society, (2008)A UML-Based Approach to Testing Web Applications., , и . ISCSCT (2), стр. 397-401. IEEE Computer Society, (2008)