( en | de | ru )

 

Disambiguation of "Qi, Zhichang"

Author of the publication

copydeleteadd this publication to your clipboard
PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network.

, , and . ICESS, volume 4523 of Lecture Notes in Computer Science, page 530-539. Springer, (2007)

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.

Qi Qi

Qi Li

Fei Qi

Qi Xu

Qi Wang

 

Other publications of authors with the same name

An Interface Theory Based Approach to Verification of Web Services., , , , and . COMPSAC (2), page 139-144. IEEE Computer Society, (2006)0-7695-2655-1.Slicing Hierarchical Automata for Model Checking UML Statecharts., , and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 435-446. Springer, (2002)Reliability Prediction for BPEL-based composite Web Service., , and . RCIS, page 265-270. (2007)Compositional Verification of UML Dynamic Models., , , and . APSEC, page 286-293. IEEE Computer Society, (2007)Model Checking UML Statecharts., , , and . APSEC, page 363-370. IEEE Computer Society, (2001)Property-Oriented Testing of Real-Time Systems., , , and . APSEC, page 358-365. IEEE Computer Society, (2004)Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow., , and . PDCAT, page 451-455. IEEE Computer Society, (2005)Towards Formal Interfaces for Web Services with Transactions., , , and . SITIS, volume 4879 of Lecture Notes in Computer Science, page 292-304. Springer, (2006)Verifying automata specification of distributed probabilistic real-time systems., , , , , and . J. Comput. Sci. Technol., 13 (6): 588-596 (1998)Active Monitoring for Control Systems under Anticipatory Semantics., , and . QSIC, page 318-325. IEEE Computer Society, (2010)