( en | de | ru )

 

Disambiguation of "Yao, Shuzhen"

Author of the publication

copydeleteadd this publication to your clipboard
Consistency Checking of UML Dynamic Models Based on Petri Net Techniques Consistency Checking of UML Dynamic Models Based on Petri Net Techniques

, , , and . Computing, 2006. CIC '06. 15th International Conference on, page 289--297. (2006)
DOI: 10.1109/CIC.2006.32

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.

Yao Yao

Shuzhen Liu

Hongmei Yao

Haimin Yao

Yefeng Yao

 

Other publications of authors with the same name

Consistency Checking of UML Dynamic Models Based on Petri Net Techniques Consistency Checking of UML Dynamic Models Based on Petri Net Techniques, , , and . Computing, 2006. CIC '06. 15th International Conference on, page 289--297. (2006)Curved SDE-Net Leads to Better Generalization for Uncertainty Estimates of DNNs., , and . ICANN (2), volume 12892 of Lecture Notes in Computer Science, page 248-259. Springer, (2021)Big Data-Driven Stable Task Allocation in Ride-Hailing Services., , and . DASFAA (Workshops), volume 13248 of Lecture Notes in Computer Science, page 291-300. Springer, (2022)Application of Development Method Based on Multi-Agents., , and . TOOLS (36), page 158-161. IEEE Computer Society, (2000)Design and Implementation of Document Access Control Model Based on Role and Security Policy., , , and . INTRUST, volume 6802 of Lecture Notes in Computer Science, page 26-36. Springer, (2010)The new method of liveness verification with Object-Oriented Timed Petri Nets., and . ICACI, page 7-11. IEEE, (2015)Model Checking for Rare-Event in Control Logical Petri Nets Based on Importance Sampling., , and . IEEE Access, (2020)An Efficient Multi-objective Evolutionary Algorithm: OMOEA-II., , , and . EMO, volume 3410 of Lecture Notes in Computer Science, page 108-119. Springer, (2005)A Modified Slotted Random Anti-collision Algorithm for the EPCglobal UHF Class-1 Generation-2 Standard., and . CSE, page 397-400. IEEE Computer Society, (2014)Research on the Multi-Agent Model of Autonomous Distributed Control Systems., and . TOOLS (31), page 331-335. IEEE Computer Society, (1999)