Author of the publication

Instant-Based and State-Based Analysis of Infinite Logical Clock.

, , , and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 32-51. (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.

 

Other publications of authors with the same name

Introducing Agents in Multi-agent System with Superposition Refinement., and . SNPD, page 342-347. IEEE Computer Society, (2013)An Approach to Modeling and Verifying Router-Based Network., , , and . SNPD, page 283-288. IEEE Computer Society, (2012)A UML-Based Approach to Testing Web Applications., , and . ISCSCT (2), page 397-401. IEEE Computer Society, (2008)Overlap Community Detection Based on Node Convergence Degree., , , , and . DASC/PiCom/DataCom/CyberSciTech, page 163-167. IEEE Computer Society, (2016)A New Approach to Automated Redundancy Reduction for Test Sequences., , , and . PRDC, page 93-98. IEEE Computer Society, (2009)Scenario specification based testing model generation., , and . ICIS, page 335-340. IEEE Computer Society, (2013)Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things., , , , and . Secur. Commun. Networks, (2018)AGT4W: Automatic Generating Tests for Web Applications., , and . ICFCE, volume 133 of Advances in Intelligent and Soft Computing, page 885-892. Springer, (2011)Guest Editors' Introduction., and . International Journal of Software Engineering and Knowledge Engineering, 26 (4): 537-538 (2016)基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information)., , and . 计算机科学, 42 (9): 154-158 (2015)